168 search results - page 21 / 34 » A comparison of semantic models for noninterference |
CAV
2005
Springer
15 years 3 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
ICDM
2010
IEEE
14 years 7 months ago
2010
IEEE
Whenever a dataset has multiple discrete target variables, we want our algorithms to consider not only the variables themselves, but also the interdependencies between them. We pro...
ACL
2010
14 years 7 months ago
2010
In this paper, we propose a novel approach to automatic generation of summary templates from given collections of summary articles. This kind of summary templates can be useful in...
70
Voted
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
Cognitive systems are trained to recognise perceptually meaningful parts of an image. These regions contain some variation, i.e. local texture, and are roughly convex. We call suc...
115
click to vote
BMCBI
2011
14 years 1 months ago
2011
Background: The ability to search for and precisely compare similar phenotypic appearances within and across species has vast potential in plant science and genetic research. The ...