2291 search results - page 303 / 459 » Representational Reasoning and Verification |
121
Voted
GEOINFORMATICA
2008
15 years 25 days ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
103
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
100
Voted
APN
2008
Springer
15 years 2 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
115
Voted
TCBB
2008
15 years 21 days ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
113
click to vote
AAAI
2007
15 years 3 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...