Sciweavers

AAAI
2000
14 years 24 days ago
A* with Partial Expansion for Large Branching Factor Problems
Takayuki Yoshizumi, Teruhisa Miura, Toru Ishida
AAAI
2000
14 years 24 days ago
Interactive Training for Synthetic Characters
Compelling synthetic characters must behave in ways that reflect their past experience and thus allow for individual personalization. We therefore need a method that allows charac...
Song-Yee Yoon, Robert C. Burke, Bruce Blumberg, Ge...
AAAI
2000
14 years 24 days ago
Robust Combinatorial Auction Protocol against False-Name Bids
This paper presents a new combinatorial auction protocol (LDS protocol) that is robust against false-name bids. Internet auctions have become an integral part of Electronic Commer...
Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara
AAAI
2000
14 years 24 days ago
Depth-First Branch-and-Bound versus Local Search: A Case Study
Depth-first branch-and-bound (DFBnB) is a complete algorithm that is typically used to find optimal solutions of difficult combinatorial optimization problems. It can also be adap...
Weixiong Zhang
AAAI
2000
14 years 24 days ago
Conceptual Indexing: Practical Large-Scale AI for Efficient Information Access
Finding information is a problem shared by people and intelligent systems. This paper describes an experiment combining both human and machine aspects in a knowledgebased system t...
William A. Woods
AAAI
2000
14 years 24 days ago
Multi-Fidelity Robotic Behaviors: Acting with Variable State Information
Our work is driven by one of the core purposes of artificial intelligence: to develop real robotic agents that achieve complex high-level goals in real-time environments. Robotic ...
Elly Winner, Manuela M. Veloso
AAAI
2000
14 years 24 days ago
MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability
We describe MarketSAT, a highly decentralized, marketbased algorithm for propositional satisfiability. The approach is based on a formulation of satisfiability as production on a ...
William E. Walsh, Michael P. Wellman
AAAI
2000
14 years 24 days ago
Untangle: A New Ontology for Card Catalog Systems
The ontology used by most card catalog and bibliographic systems is based on a now outdated assumption that users of the systems would be looking for books on shelves, and therefo...
Christopher A. Welty, Jessica Jenkins
AAAI
2000
14 years 24 days ago
A Quantitative Study of Small Disjuncts
Systems that learn from examples often express the learned concept in the form of a disjunctive description. Disjuncts that correctly classify few training examples are known as s...
Gary M. Weiss, Haym Hirsh