Sciweavers

1548 search results - page 118 / 310
» Computational Approaches to Sentence Completion
Sort
View
ROBOCUP
2005
Springer
117views Robotics» more  ROBOCUP 2005»
14 years 3 months ago
Towards Eliminating Manual Color Calibration at RoboCup
Color calibration is a time-consuming, and therefore costly requirement for most robot teams at RoboCup. This paper presents an approach for autonomous color learning on-board a mo...
Mohan Sridharan, Peter Stone
CP
2006
Springer
14 years 1 months ago
Randomization in Constraint Programming for Airline Planning
Abstract. We extend the common depth-first backtrack search for constraint satisfaction problems with randomized variable and value selection. The resulting methods are applied to ...
Lars Otten, Mattias Grönkvist, Devdatt P. Dub...
CCIA
2009
Springer
13 years 11 months ago
A Cryptographic Solution for Private Distributed Simple Meeting Scheduling
Meeting Scheduling is a suitable application for distributed computation, motivated by its privacy requirements. Previous work on this problem have considered some cryptographic te...
Javier Herranz, Stan Matwin, Pedro Meseguer, Jordi...
DAC
2004
ACM
14 years 11 months ago
Efficient equivalence checking with partitions and hierarchical cut-points
Previous results show that both flat and hierarchical methodologies present obstacles to effectively completing combinational equivalence checking. A new approach that combines th...
Demos Anastasakis, Lisa McIlwain, Slawomir Pilarsk...
PERCOM
2005
ACM
14 years 9 months ago
Managing Adaptive Versatile environments
The goal of the MavHome project is to develop technologies to Manage Adaptive Versatile environments. In this paper, we present a complete agent architecture for a single inhabita...
G. Michael Youngblood, Diane J. Cook, Lawrence B. ...