2291 search results - page 303 / 459 » Representational Reasoning and Verification |
151
click to vote
GEOINFORMATICA
2008
15 years 4 months 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...
135
click to vote
CCS
2009
ACM
16 years 5 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...
135
click to vote
APN
2008
Springer
15 years 6 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 ...
150
click to vote
TCBB
2008
15 years 4 months 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...
151
click to vote
AAAI
2007
15 years 6 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...