Sciweavers

1986 search results - page 151 / 398
» constraints 2006
Sort
View
IROS
2006
IEEE
217views Robotics» more  IROS 2006»
14 years 1 months ago
Integrating Perception and Planning for Autonomous Navigation of Urban Vehicles
— The paper addresses the problem of autonomous navigation of a car-like robot evolving in an urban environment. Such an environment exhibits an heterogeneous geometry and is clu...
Rodrigo Benenson, Stéphane Petti, Thierry F...
ECOWS
2006
Springer
13 years 11 months ago
WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
Frank Kaufer, Matthias Klusch
AMAI
2006
Springer
13 years 8 months ago
Functional and multivalued dependencies in nested databases generated by record and list constructor
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
STOC
2006
ACM
138views Algorithms» more  STOC 2006»
14 years 8 months ago
The PCP theorem by gap amplification
The PCP theorem [3, 2] says that every language in NP has a witness format that can be checked probabilistically by reading only a constant number of bits from the proof. The cele...
Irit Dinur
IPPS
2006
IEEE
14 years 1 months ago
An evaluation of heuristics for SLA based parallel job scheduling
In the context of SLA based job scheduling for high performance grid computing, this paper investigates the behaviour of various scheduling heuristics to schedule SLA-bounded jobs...
Viktor Yarmolenko, Rizos Sakellariou