2291 search results - page 42 / 459 » Representational Reasoning and Verification |
ASIAN
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
AMI
2008
Springer
13 years 10 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
APLAS
2008
ACM
13 years 10 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
IJAR
2006
13 years 8 months ago
2006
In spatial reasoning, in particular for applications in image understanding, structure recognition and computer vision, a lot of attention has to be paid to spatial relationships ...