18716 search results - page 3526 / 3744 » Automatic |
161
click to vote
EUROCAST
2007
Springer
15 years 9 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
169
click to vote
CVPR
2009
IEEE
15 years 9 months ago
2009
IEEE
The explosion of image data on the Internet has the potential to foster more sophisticated and robust models and algorithms to index, retrieve, organize and interact with images a...
200
click to vote
GRAPHITE
2007
ACM
15 years 9 months ago
2007
ACM
Because of their geometric complexity, high resolution 3D models, either designed in high-end modeling packages or acquired with range scanning devices, cannot be directly used in...
136
click to vote
GROUP
2007
ACM
15 years 9 months ago
2007
ACM
Being aware of others' activities has played a vital role in the success of online collaboration. This resulted in the emergence of many groupware systems that provide users ...
141
click to vote
HPDC
2007
IEEE
15 years 9 months ago
2007
IEEE
Grid applications often need to distribute large amounts of data efficiently from one cluster to multiple others (multicast). Existing methods usually arrange nodes in optimized t...