210 search results - page 42 / 42 » Partial model checking via abstract interpretation |
BMCBI
2008
13 years 5 months ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...
ECAI
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Computational Game Theory is a way to study and evaluate behaviors using game theory models, via agent-based computer simulations. One of the most known example of this a...
ICCS
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Manual surface reconstruction is still an everyday practice in applications involving complex irregular domains necessary for modeling biological systems. Rapid developme...
BTW
2005
Springer
13 years 11 months ago
2005
Springer
Abstract: Peer data management systems (PDMS) are the natural extension of integrated information systems. Conventionally, a single integrating system manages an integrated schema,...
ABIALS
2008
Springer
14 years 3 days ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...