2162 search results - page 64 / 433 » Automated Reasoning on Feature Models |
121
Voted
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a method for tracking and distinguishing multiple C. elegans in a video sequence, including when they are in physical contact with one another. The worms are modeled wi...
113
Voted
TVLSI
2008
15 years 3 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
107
Voted
DAGSTUHL
1990
15 years 4 months ago
1990
A connectionist model for robust reasoning, CONSYDERR, is proposed to account for some common reasoning patterns found in commonsense reasoning and to remedy the brittleness probl...
238
Voted
CADE
2011
Springer
14 years 3 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
120
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...