Sciweavers

10608 search results - page 1805 / 2122
» Complexity of O'Hara's Algorithm
Sort
View
IEAAIE
2001
Springer
15 years 5 months ago
A Mixed Closure-CSP Method to Solve Scheduling Problems
Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-b...
María Isabel Alfonso Galipienso, Federico B...
99
Voted
ISRR
2001
Springer
161views Robotics» more  ISRR 2001»
15 years 5 months ago
A Single-Query Bi-Directional Probabilistic Roadmap Planner with Lazy Collision Checking
This paper describes the foundations and algorithms of a new probabilistic roadmap (PRM) planner that is: (1) singlequery –i.e., it does not pre-compute a roadmap, but uses the ...
Gildardo Sánchez-Ante, Jean-Claude Latombe
112
Voted
TACS
2001
Springer
15 years 5 months ago
The UDP Calculus: Rigorous Semantics for Real Networking
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
Andrei Serjantov, Peter Sewell, Keith Wansbrough
ATS
2000
IEEE
134views Hardware» more  ATS 2000»
15 years 5 months ago
Fsimac: a fault simulator for asynchronous sequential circuits
At very high frequencies, the major potential of asynchronous circuits is absence of clock skew and, through that, better exploitation of relative timing relations. This paper pre...
Susmita Sur-Kolay, Marly Roncken, Ken S. Stevens, ...
122
Voted
CVPR
2000
IEEE
15 years 5 months ago
A Combined Feature-Texture Similarity Measure for Face Alignment under
We formulate face alignment as a model-based parameter estimation problem in this paper. First, we work within a framework that combines two separate subspace models to r epresent...
Lixin Fan, Kah Kay Sung
« Prev « First page 1805 / 2122 Last » Next »