3342 search results - page 666 / 669 » Automating Abstract Interpretation |
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—Wireless sensor networks are evolving from dedicated application-specific platforms to integrated infrastructure shared by multiple applications. Shared sensor networks...
FOMI
2009
13 years 5 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
TASLP
2011
13 years 2 months ago
2011
—This paper presents a novel student model intended to automate word-list-based reading assessments in a classroom setting, specifically for a student population that includes b...
TCBB
2011
13 years 2 months ago
2011
Stochastic models such as hidden Markov models or stochastic context free grammars can fail to return the correct, maximum likelihood solution in the case of semantic ambiguity. T...
EJASP
2010
13 years 2 months ago
2010
Abstract--We present an application of a modified KalmanFilter (KF) framework for data fusion to the estimation of respiratory rate from multiple physiological sources which is rob...