210 search results - page 30 / 42 » Partial model checking via abstract interpretation |
LICS
2000
IEEE
13 years 11 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
CSFW
2011
IEEE
12 years 7 months ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
BMCBI
2006
13 years 7 months ago
2006
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
AI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We use a hierarchical Bayesian approach to model user preferences in different contexts or settings. Unlike many previous recommenders, our approach is content-based. We...