Sciweavers

AAAI
1998
13 years 11 months ago
Generating Coordinated Natural Language and 3D Animations for Complex Spatial Explanations
Dynamically providing students with clear explanations of complex spatial concepts is critical for a broad range of knowledge-based educational and training systems. This calls fo...
Stuart G. Towns, Charles B. Callaway, James C. Les...
AAAI
2000
13 years 11 months ago
Adaptive User Interfaces through Dynamic Design Automation
The inherent difficulty in supporting human usability in large control systems--such as building environmental and security systems--derives from the large diversity of components...
Robin R. Penner, Erik S. Steinmetz, Christopher L....
AAAI
1998
13 years 11 months ago
The Temporal Analysis of Chisholm's Paradox
Deonticlogic, the logic of obligations andpermissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation la...
Leendert W. N. van der Torre, Yao-Hua Tan
AAAI
2000
13 years 11 months ago
Counting Models Using Connected Components
Roberto J. Bayardo Jr., Joseph Daniel Pehoushek
AAAI
1998
13 years 11 months ago
Integrating Topological and Metric Maps for Mobile Robot Navigation: A Statistical Approach
The problem of concurrent mapping and localization has received considerable attention in the mobile robotics community. Existing approachescan largely be grouped into two distinc...
Sebastian Thrun, Jens-Steffen Gutmann, Dieter Fox,...
AAAI
2000
13 years 11 months ago
Preventing Strategic Manipulation in Iterative Auctions: Proxy Agents and Price-Adjustment
Iterative auctions have many computational advantages over sealed-bid auctions, but can present new possibilities for strategic manipulation. We propose a two-stage technique to m...
David C. Parkes, Lyle H. Ungar
AAAI
1998
13 years 11 months ago
Using Arc Weights to Improve Iterative Repair
One of the surprising findings from the study of CNF satisfiability in the 1990's has been the success of iterative repair techniques, and in particular of weighted iterative...
John Thornton, Abdul Sattar
AAAI
2000
13 years 11 months ago
Matchmaking to Support Intelligent Agents for Portfolio Management
Massimo Paolucci, Zhendong Niu, Katia P. Sycara, C...
AAAI
1998
13 years 11 months ago
Handling Inconsistency for Multi-Source Integration
The overwhelming amount of information sources now available through the internet has increased the need to combine or integrate the data retrieved from these sources in an intell...
Sheila Tejada, Craig A. Knoblock, Steven Minton