633 search results - page 70 / 127 » Locality and Hard SAT-Instances |
189
click to vote
ACCV
2009
Springer
16 years 23 days 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...
171
click to vote
DAGM
2009
Springer
16 years 22 days 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...
184
click to vote
SPIN
2009
Springer
16 years 21 days 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 ...
166
click to vote
IJCNN
2008
IEEE
16 years 17 days 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...
155
click to vote
AINA
2007
IEEE
16 years 15 days 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...