Sciweavers

9842 search results - page 1792 / 1969
» The Complexity of the Matching-Cut Problem
Sort
View
CP
2007
Springer
15 years 10 months ago
A Compression Algorithm for Large Arity Extensional Constraints
We present an algorithm for compressing table constraints representing allowed or disallowed tuples. This type of constraint is used for example in configuration problems, where t...
George Katsirelos, Toby Walsh
131
Voted
CSL
2007
Springer
15 years 10 months ago
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
Alexander Hertel, Alasdair Urquhart
DCOSS
2007
Springer
15 years 10 months ago
A Connectivity Based Partition Approach for Node Scheduling in Sensor Networks
This paper presents a Connectivity based Partition Approach (CPA) to reduce the energy consumption of a sensor network by sleep scheduling among sensor nodes. CPA partitions sensor...
Yong Ding, Chen Wang, Li Xiao
ECAL
2007
Springer
15 years 10 months ago
From Solitary to Collective Behaviours: Decision Making and Cooperation
In a social scenario, establishing whether a collaboration is required to achieve a certain goal is a complex problem that requires decision making capabilities and coordination am...
Vito Trianni, Christos Ampatzis, Anders Lyhne Chri...
102
Voted
ECAL
2007
Springer
15 years 10 months ago
Controlling an Anthropomimetic Robot: A Preliminary Investigation
The human body has a complex skeleton, giving a very high number of degrees of freedom, and is actuated by a large number of elastic elements muscles and tendons. As a consequence,...
Hugo Gravato Marques, Richard Newcombe, Owen Holla...
« Prev « First page 1792 / 1969 Last » Next »