16 search results - page 3 / 4 » Grounded Models as a Basis for Intuitive Reasoning |
174
Voted
CW
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents an approach to realize a tool for interactive and intuitive deformation of 3D shapes. The approach combines a fast algorithm for 3D free form deformation that ...
147
Voted
AI
2008
Springer
15 years 2 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
133
Voted
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
139
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
152
Voted
AAAI
2000
15 years 5 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...