98 search results - page 18 / 20 » Quantitative Analysis With the Probabilistic Model Checker P... |
ENTCS
2008
14 years 9 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
The importance of accurate early diagnostics of dyslexia that severely affects the learning abilities of children cannot be overstated. Neuropathological studies have revealed an ...
101
click to vote
WSDM
2012
ACM
13 years 5 months ago
2012
ACM
This paper presents a novel opinion mining research problem, which is called Contrastive Opinion Modeling (COM). Given any query topic and a set of text collections from multiple ...
TASLP
2010
14 years 4 months ago
2010
Abstract--This paper presents a novel method for automatically classifying consumer video clips based on their soundtracks. We use a set of 25 overlapping semantic classes, chosen ...
BMCBI
2007
14 years 9 months ago
2007
Background: A key challenge in metabonomics is to uncover quantitative associations between multidimensional spectroscopic data and biochemical measures used for disease risk asse...