3273 search results - page 321 / 655 » types 2007 |
195
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
193
click to vote
SGP
2004
15 years 9 months ago
2004
Subdivision-based representations are recognized as important tools for the generation of high-quality surfaces for Computer Graphics. In this paper we describe two parameterizati...
158
click to vote
AAAI
2007
15 years 9 months ago
2007
In multi-agent systems, agents need to share information in order to make good decisions. Who does what in order to achieve this matters a lot. The assignment of responsibility in...
167
click to vote
AAAI
2007
15 years 9 months ago
2007
Here, we define a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced to obtain a...
205
click to vote
AAAI
2007
15 years 9 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...