A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
An Empirical Evaluation of Possible Variations of Lazy Propagation
[article]
2012
arXiv
pre-print
Preserved Fulltext
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
2010
International Journal of Approximate Reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 19th Asia-Pacific Software Engineering Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Proceedings of the 4th international symposium on Memory management - ISMM '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Journal of Approximate Reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2008
International Journal of Approximate Reasoning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
St Petersburg University Journal of Economic Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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)
2018
JMIR Medical Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2003
Real-time imaging
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2021
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2011
Annual Review of Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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