1378 search results - page 149 / 276 » The Tractability of Global Constraints |
179
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
We apply the dead-end elimination (DEE) strategy from protein design as a heuristic for the max-flow/min-cut formulation of the image segmentation problem. DEE combines aspects of...
273
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
156
click to vote
EWSN
2006
Springer
16 years 5 months ago
2006
Springer
Many applications of wireless ad hoc sensor and actuator networks (WSANs) rely on the knowledge of node locations. These are challenging to obtain when nodes are mobile and are not...
167
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
— An algorithm for pose and motion estimation using corresponding features in omnidirectional images and a digital terrain map is proposed. In previous paper, such algorithm for ...
168
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...