2291 search results - page 265 / 459 » Representational Reasoning and Verification |
121
Voted
DLOG
2003
15 years 2 months ago
2003
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...
94
Voted
FLAIRS
2003
15 years 2 months ago
2003
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...
ICMAS
2000
15 years 2 months ago
2000
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?...
76
Voted
AIM
2006
15 years 22 days ago
2006
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...
GIS
2008
ACM
15 years 22 days ago
2008
ACM
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...