Sciweavers

2954 search results - page 222 / 591
» Beyond
Sort
View
MSO
2003
15 years 8 months ago
Simulating Resource and Service Trading in Grid Systems
The global grid model is steadily being uptaken by individuals wishing to trade in grid services. The grid was originally driven by organisations attempting to share high performa...
Heath A. James, Kenneth A. Hawick
AAAI
1998
15 years 8 months ago
A Motivational System for Regulating Human-Robot Interaction
This paper presents a motivational system for an autonomous robot which is designed to regulate human-robot interaction. The mode of social interaction is that of a caretaker-infa...
Cynthia Breazeal
154
Voted
AAAI
2000
15 years 8 months ago
Integrating Equivalency Reasoning into Davis-Putnam Procedure
Equivalency clauses (Xors or modulo 2 arithmetics) represent a common structure in the SAT-encoding of many hard real-world problems and constitute a major obstacle to DavisPutnam...
Chu Min Li
AAAI
2000
15 years 8 months ago
Solving Combinatorial Auctions Using Stochastic Local Search
Combinatorial auctions (CAs) have emerged as an important model in economics and show promise as a useful tool for tackling resource allocation in AI. Unfortunately, winner determ...
Holger H. Hoos, Craig Boutilier
AAAI
2000
15 years 8 months ago
Monte Carlo Localization with Mixture Proposal Distribution
Monte Carlo localization (MCL) is a Bayesian algorithm for mobile robot localization based on particle filters, which has enjoyed great practical success. This paper points out a ...
Sebastian Thrun, Dieter Fox, Wolfram Burgard