1243 search results - page 65 / 249 » On the locality of bounded growth |
LPAR
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
ICPR
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a system for learning the 3 DOF finepositioning task of a robot manipulator (Puma 260) using a gripper mounted camera. Small lateral gripper-target misalignments are c...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
101
click to vote
ICWN
2003
15 years 1 months ago
2003
— In this paper we consider a probabilistic approach to the problem of localization in wireless sensor networks and propose a distributed algorithm that helps unknown nodes to de...
AUTOMATICA
2008
15 years 22 min ago
2008
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...