270 Hits in 3.0 sec

An Empirical Evaluation of Possible Variations of Lazy Propagation [article]

Anders L. Madsen
2012 arXiv   pre-print
In addition, the paper resents the results of an empirical evaluation of the performance of Lazy propagation using VE, SPI, and AR as the message computation algorithm.  ...  Motivated by examples, we investigate the dependency of the performance of Lazy propagation on the message computation algorithm.  ...  Experiments In this section, we report on the results of an empirical evaluation of how the performance of lazy propagation depends on the query-based inference algorithm applied to message computation  ... 
arXiv:1207.4137v1 fatcat:doyrm2mdb5ez7kie4quophlbw4

Improvements to message computation in lazy propagation

A.L. Madsen
2010 International Journal of Approximate Reasoning  
The performance impacts of the methods are assessed empirically.  ...  This paper introduces two improvements to the message computation in Lazy propagation (LP): (1) we introduce myopic methods for sorting the operations involved in a variable elimination using arc-reversal  ...  Acknowledgements The author is grateful to the anonymous reviewers for their insightful comments and valuable suggestions for improving the quality of this manuscript.  ... 
doi:10.1016/j.ijar.2010.01.009 fatcat:cu2zl3unlffu3anbfjkagp3zhm

Software Development Team Dynamics in SPI: A VSE Context

Shuib Basri, Rory V. OConnor
2012 2012 19th Asia-Pacific Software Engineering Conference  
This paper discusses the dynamics of software development teams (structure, process, communication, learning and sharing) and its impact on Software Process Improvement (SPI) in software VSEs based on  ...  This paper shows that VSEs have a high level of team dynamics although their SPI initiatives are conducted on a small scale and in an informal and indirect manner.  ...  He found that employee participation is the strongest influence on SPI success.  ... 
doi:10.1109/apsec.2012.26 dblp:conf/apsec/BasriO12 fatcat:4znio3jhr5cy5ip7sql2jtufva

Formally-based tools and techniques for human-computer dialogues

1988 Computer Standards & Interfaces  
Formally specifying the user interface allows the designer to reason about its properties in the light of the many guidelines on the subject.  ...  They are based on a formal specification and rapid prototyping method and notation called me too. and were originally designed as an extension to me too.  ...  In most me too specifications. the evaluation strategy is immaterial: however. 1t should be noted that streamCSP relies on lazy evaluation of the input and output channels in order to handle input/output  ... 
doi:10.1016/0920-5489(88)90027-x fatcat:qbkf5t7swvajngd72sncmhd66e

Exploring the barrier to entry

A. M. Cheadle, A. J. Field, S. Marlow, S. L. Peyton Jones, R. L. While
2004 Proceedings of the 4th international symposium on Memory management - ISMM '04  
We detail important implementation issues and provide a detailed evaluation of a range of design alternatives in comparison with Non-stop Haskell and GHC's current generational collector.  ...  GHC has a block-allocated memory system with a default block size of 4KB. We explored two levels of granularity  ...  This extra word comes at a price: in addition to the overhead of managing it, it also influences the way memory is used.  ... 
doi:10.1145/1029873.1029893 dblp:conf/iwmm/CheadleFMJW04 fatcat:ufsymqlesbfy7kwcijfq7n4cpm

Weighted Positive Binary Decision Diagrams for Exact Probabilistic Inference [article]

Giso H. Dal, Peter J.F. Lucas
2016 arXiv   pre-print
Recent work on weighted model counting has been very successfully applied to the problem of probabilistic inference in Bayesian networks.  ...  We propose a new language, called Weighted Positive Binary Decision Diagrams, that reduces the cost of probabilistic inference by using this decomposition variant to induce an arithmetic circuit of reduced  ...  The compiler uses a lazy SMT-solver to record evaluation paths and as a WPBDD, given f e and theory T . A lazy SMT-solver combines a SAT-solver with a theory-solver (or T -solver) for some theory T .  ... 
arXiv:1610.05551v1 fatcat:pnvzj7wl2rhijdr6nyohkznzti

Weighted positive binary decision diagrams for exact probabilistic inference

Giso H. Dal, Peter J.F. Lucas
2017 International Journal of Approximate Reasoning  
Recent work on weighted model counting has been very successfully applied to the problem of probabilistic inference in Bayesian networks.  ...  We propose a new language, called Weighted Positive Binary Decision Diagrams, that reduces the cost of probabilistic inference by using this decomposition variant to induce an arithmetic circuit of reduced  ...  The compiler uses a lazy SMT-solver to record evaluation paths and as a WPBDD, given f e and theory T . A lazy SMT-solver combines a SAT-solver with a theory-solver (or T -solver) for some theory T .  ... 
doi:10.1016/j.ijar.2017.08.003 fatcat:r7lwk4gsk5gahgzco5gjuhyuna

Belief update in CLG Bayesian networks with lazy propagation

A.L. Madsen
2008 International Journal of Approximate Reasoning  
The proposed architecture is an extension of lazy propagation using operations of Lauritzen and Jensen [S.L. Lauritzen, F.  ...  The performance of the proposed architecture has been evaluated using a set of randomly generated networks. The results indicate a significant potential of the proposed architecture.  ...  Acknowledgement This paper is an extended and revised version of [15] .  ... 
doi:10.1016/j.ijar.2008.05.001 fatcat:cqhkcskbxnbt7nhe73327xqtyq

Analyzing Process Acceptance with IT-Enabled Experimental Research

Volker Nissen, Thomas Müllerleile, Elena О. Kazakova, Tatiana А. Lezina
2016 St Petersburg University Journal of Economic Studies  
By circumvention of official channels, individuals within the company create shadow organizations. Thus, unofficial processes and shadow IT systems V. Nissen, T. Müllerleile, E. О. Kazakova, T. A.  ...  И ПРоИЗвоДСТвЕННЫЙ МЕНЕДЖМЕНТ UDC 65.015.3 10.21638/11701/spbu05.2016.307 The positive results that are frequently associated with business process management, can only be achieved through triggering of  ...  They transfer the results of research on SPI problems to the field of business process management.  ... 
doi:10.21638/11701/spbu05.2016.307 fatcat:bc54qqqgsbfbtjfpb53ja3htmu

An Embedded Sensing and Communication Platform, and a Healthcare Model for Remote Monitoring of Chronic Diseases

Sergio Saponara, Massimiliano Donati, Luca Fanucci, Alessio Celli
2016 Electronics  
Moreover, in this work we add proper motion sensors to measure the posture of the patient, which influences the measure of some biomedical parameters.  ...  The main reason is that most works are only focused on a specific sub-part of the system, or on a specific type of disease.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/electronics5030047 fatcat:pllbweiluvfj7fmbwta6hi4zni

Clinical requirements of future patient monitoring in the ICU: A qualitative study (Preprint)

Akira-Sebastian Poncette, Claudia Spies, Lina Mosch, Monique Schieler, Steffen Weber-Carstens, Henning Krampe, Felix Balzer
2018 JMIR Medical Informatics  
Evaluating the current monitoring system, ICU staff put high emphasis on usability factors such as intuitiveness and visualization.  ...  The aim of this study was to evaluate statements by ICU staff on the current patient monitoring systems and their expectations for future technological developments in order to investigate clinical requirements  ...  , general medicine and psychology, as well as the staff of the intensive care units for their participation in this study.  ... 
doi:10.2196/13064 pmid:31038467 pmcid:PMC6658223 fatcat:r4pxlg6rrfg5porl3dxl4ixeuy

Perceived causes of software project failures – An analysis of their relationships

Timo O.A. Lehtinen, Mika V. Mäntylä, Jari Vanhanen, Juha Itkonen, Casper Lassenius
2014 Information and Software Technology  
On average, 50% of the causes were bridge causes. Lack of cooperation, weak task backlog, and lack of software testing resources were common bridge causes.  ...  Results: For each failure, our method identified causal relationships diagrams including 130 to 185 causes each. All four cases were unique, albeit some similarities occurred.  ...  Unknown (UN) Causes that cannot be focused on any specific process area. Laziness. Gratuitous work is done. Table 2 presents the classification used to describe the types of causes.  ... 
doi:10.1016/j.infsof.2014.01.015 fatcat:q3dfuuy2dnfbjpdjfgecrftr7i

Leveraging object-orientation for real-time imaging systems

Colin J Neill
2003 Real-time imaging  
This work examines these best practices, in the form of patterns and design principles, with reference to imaging systems and within the context of the Java imaging APIs. r  ...  approaches tend to be rigid with respect to changing needs, technologies, devices and algorithms-for example, when additional compression algorithms are needed or attached devices are changed large parts of  ...  Acknowledgements I would like to acknowledge David Cloutier for his comments in personal communications on the application of object-oriented techniques for concurrent and real-time systems and to Dr.  ... 
doi:10.1016/j.rti.2003.09.003 fatcat:hhmfrepsgrgerm5syv2nxodm3q

Real-Time Monitoring System of Exercise Status Based on Internet of Health Things Using Safety Architecture Model

Long Qin, Yinming Xie
2021 IEEE Access  
In addition, this paper builds a new safety architecture model based on real-time motion detection, and proposes a time-domain feature-based motion detection method for walking, walking upstairs and walking  ...  As an emerging field of information technology, the Internet of Health Things has attracted great attention from governments, scholars, and related enterprises, and is seen as a major opportunity for development  ...  dumped from the CC2541 to an off-chip Flash by borrowing the efficiency of SPI transmission.  ... 
doi:10.1109/access.2021.3058247 fatcat:uf3mc2uet5fwnpyfmjh2kr4lfm

The Development of Problem Solving in Young Children: A Critical Cognitive Skill

Rachel Keen
2011 Annual Review of Psychology  
One goal of this review is to excite interest and spur new research on the beginnings of problem solving and its elaboration during development.  ...  Behavioral and kinematic measures of motor action are combined to show different facets of skill acquisition and mastery.  ...  Figure 4 is a schematic diagram of changes in strategy between 9 and 19 months of age.  ... 
doi:10.1146/annurev.psych.031809.130730 pmid:20822435 fatcat:hou5qn7i7ndxlbfupoaa2yyv6i
« Previous Showing results 1 — 15 out of 270 results