Sciweavers

3212 search results - page 306 / 643
» Faster Concept Analysis
Sort
View
BPM
2009
Springer
169views Business» more  BPM 2009»
16 years 1 months ago
Analyzing Resource Behavior Using Process Mining
It is vital to use accurate models for the analysis, design, and/or control of business processes. Unfortunately, there are often important discrepancies between reality and models...
Joyce Nakatumba, Wil M. P. van der Aalst
RTSS
2002
IEEE
15 years 11 months ago
The Space of Rate Monotonic Schedulability
Feasibility analysis of fixed priority systems has been widely studied in the real-time literature and several acceptance tests have been proposed to guarantee a set of periodic ...
Enrico Bini, Giorgio C. Buttazzo
KBSE
2010
IEEE
15 years 5 months ago
Solving string constraints lazily
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
Pieter Hooimeijer, Westley Weimer
BMCBI
2008
93views more  BMCBI 2008»
15 years 6 months ago
MPDA: Microarray pooled DNA analyzer
Background: Microarray-based pooled DNA experiments that combine the merits of DNA pooling and gene chip technology constitute a pivotal advance in biotechnology. This new techniq...
Hsin-Chou Yang, Mei-Chu Huang, Ling-Hui Li, Chien-...
ATAL
2009
Springer
16 years 1 months ago
Computational aspects of Shapley's saddles
Game-theoretic solution concepts, such as Nash equilibrium, are playing an ever increasing role in the study of systems of autonomous computational agents. A common criticism of N...
Felix Brandt, Markus Brill, Felix A. Fischer, Paul...