8337 search results - page 316 / 1668 » Reasoning With Characteristic Models |
163
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
182
click to vote
FCS
2006
15 years 8 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
203
click to vote
CONSTRAINTS
2006
15 years 6 months ago
2006
Topological relations are important in various tasks of spatial reasoning, scene description and object recognition. The RCC8 spatial constraint language developed by Randell, Cui...
203
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
—While most activity recognition systems rely on data-driven approaches, the use of knowledge-driven techniques is gaining increasing interest. Research in this field has mainly...
162
click to vote
WSC
2004
15 years 8 months ago
2004
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...