6020 search results - page 117 / 1204 » A New Approach to Model Counting |
138
Voted
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Software inspection is a method to detect errors in software artefacts early in the development cycle. At the end of the inspection process the inspectors need to make a decision ...
128
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
116
click to vote
SPIRE
2004
Springer
15 years 9 months ago
2004
Springer
This work provides algorithms and heuristics to index text documents by determining important topics in the documents. To index text documents, the work provides algorithms to gene...
120
click to vote
ISMB
2001
15 years 5 months ago
2001
Accurately estimating probabilities from observations is important for probabilistic-based approaches to problems in computational biology. In this paper we present a biologically...
157
click to vote
JCB
2002
15 years 3 months ago
2002
Accurately estimating probabilities from observations is important for probabilistic-based approaches to problems in computational biology. In this paper we present a biologically...