793 search results - page 109 / 159 » Input Modeling Tools for Complex Problems |
BMCBI
2007
14 years 12 months ago
2007
Background: Recent development of mass spectrometry technology enabled the analysis of complex peptide mixtures. A lot of effort is currently devoted to the identification of biom...
121
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
We introduce a new theoretical derivation, evaluation methods, and extensive empirical analysis for an automatic query expansion framework in which model estimation is cast as a r...
195
click to vote
ICDT
2009
ACM
16 years 16 days ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...