2253 search results - page 380 / 451 » The ComFoRT Reasoning Framework |
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Human beings can perceive object properties such as size, weight, and material type based solely on the sounds that the objects make when an action is performed on them. In ord...
IV
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper aims to propose solutions to the issue of ontology visualization, by presenting intuitive and userfriendly ontology editing and visualization environments mainly orient...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
ARGMAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A framework, PISA, for conducting dialogues to resolve disputes concerning the correct categorisation of particular cases, is described. Unlike previous systems to conduc...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...