633 search results - page 70 / 127 » Locality and Hard SAT-Instances |
ACCV
2009
Springer
14 years 4 months ago
2009
Springer
Graph cuts based interactive segmentation has become very popular over the last decade. In standard graph cuts, the extraction of foreground object in a complex background often le...
DAGM
2009
Springer
14 years 4 months ago
2009
Springer
High-speed smooth and accurate visual tracking of objects in arbitrary, unstructured environments is essential for robotics and human motion analysis. However, building a system th...
SPIN
2009
Springer
14 years 4 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
IJCNN
2008
IEEE
14 years 4 months ago
2008
IEEE
— Representation of knowledge within a neural model is an active field of research involved with the development of alternative structures, training algorithms, learning modes an...
AINA
2007
IEEE
14 years 4 months ago
2007
IEEE
The home environment becomes ready to host distributed devices dynamically adapting to service availability and reacting to user location and user activity. Sensors, high definiti...