3238 search results - page 133 / 648 » Not Enough Points Is Enough |
177
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a learning based local search approach for propositional satisfiability is presented. It is based on an original adaptation of the conflict driven clause learning ...
162
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We describe a distributed boundary detection algorithm suitable for use on multi-robot systems with dynamic network topologies. We assume that each robot has access to its loca...
175
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper describes a stochastic static analysis of link angle driven by actuator bundles. We first demonstrate a movement of a link driven by actuator bundles in terms of hi...
133
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—This paper introduces and analyzes a new approach to query suggestion. After the user issues a query q0, for every document retrieved in a certain rank range [Θ1, Θ2],...
165
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....