Sciweavers

3040 search results - page 182 / 608
» Independent Natural Extension
Sort
View
IJAIT
2002
82views more  IJAIT 2002»
13 years 10 months ago
Interleaved Backtracking in Distributed Constraint Networks
The adaptation of software technology to distributed environments is an important challenge today. In this work we combine parallel and distributed search. By this way we add the ...
Youssef Hamadi
SIGMOD
2000
ACM
173views Database» more  SIGMOD 2000»
13 years 10 months ago
javax.XXL: A prototype for a Library of Query processing Algorithms
In this paper we describe XXL (eXtensible and fleXible Library), a toolkit for rapid prototyping query processing algorithms. XXL is a flexible, high-level, platform independent J...
Jochen Van den Bercken, Jens-Peter Dittrich, Bernh...
ICRA
2010
IEEE
179views Robotics» more  ICRA 2010»
13 years 9 months ago
Accelerometer-based tilt estimation of a rigid body with only rotational degrees of freedom
Abstract— An estimation algorithm is developed for determining pitch and roll angles (tilt) of a rigid body fixed at a pivot using multiple accelerometers. The estimate is globa...
Sebastian Trimpe, Raffaello D'Andrea
JELIA
2010
Springer
13 years 9 months ago
A Normal Form for Linear Temporal Equilibrium Logic
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
Pedro Cabalar
JGT
2010
103views more  JGT 2010»
13 years 9 months ago
Proof of a conjecture on fractional Ramsey numbers
: Jacobson, Levin, and Scheinerman introduced the fractional Ramsey function rf (a1,a2, ...,ak) as an extension of the classical definition for Ramsey numbers. They determined an e...
Jason Brown, Richard Hoshino