Sciweavers

2291 search results - page 265 / 459
» Representational Reasoning and Verification
Sort
View
DLOG
2003
14 years 4 days ago
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
François de Bertrand de Beuvron, Amadou Cou...
FLAIRS
2003
14 years 4 days ago
Low Level Fusion of Imagery Based on Dempster-Shafer Theory
An approach to fuse multiple images based on Dempster-Shafer evidential reasoning is proposed in this article. Dempster-Shafer theory provides a complete framework for combining w...
Xiaohui Yuan, Jian Zhang 0007, Xiaojing Yuan, Bill...
ICMAS
2000
14 years 3 days ago
CCL: Expressions of Choice in Agent Communication
When shall I fly to New York? Which airline should I choose? How are these related to which airport I arrive at, to how I might travel into the city and to where I choose to stay?...
Steven Willmott, Monique Calisti, Boi Faltings, Sa...
AIM
2006
13 years 10 months ago
Toward Virtual Humans
This paper describes the virtual humans developed as part of the Mission Rehearsal Exercise project, a virtual reality-based training system. This project is an ambitious exercise...
William R. Swartout, Jonathan Gratch, Randall W. H...
GIS
2008
ACM
13 years 10 months ago
An ACS cooperative learning approach for route finding in natural environment
This paper introduces an ant-based colony system for the representation of a verbal route description. It is grounded on a natural metaphor that mimics the behavior of ant colonie...
David Brosset, Christophe Claramunt, Eric Saux