3428 search results - page 107 / 686 » Making the Case |
JMS
2010
14 years 5 months ago
2010
Abstract Health examinations play a key role in preventive medicine. We propose a health examination system named Health Examination Automatic Logic System (HEALS) to assist clinic...
COCO
2004
Springer
15 years 4 months ago
2004
Springer
We prove a parameterized analog of Schaefer’s Dichotomy Theorem: we show that for every finite boolean constraint family F, deciding whether a formula containing constraints fr...
ICRA
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract – Cable-suspended robots are structurally similar to parallel actuated robots but with the fundamental difference that cables can only pull the end-effector but not pu...
ICIP
2005
IEEE
16 years 12 days ago
2005
IEEE
Posture classification is a key process for analyzing the people's behaviour. Computer vision techniques can be helpful in automating this process, but cluttered environments...
179
click to vote
CP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Today's models for propagation-based constraint solvers require propagators as implementations of constraints to be at least contracting and monotonic. These models ...