1722 search results - page 330 / 345 » Generating Tests from Counterexamples |
CIKM
2009
Springer
14 years 8 days ago
2009
Springer
Exact substring matching queries on large data collections can be answered using q-gram indices, that store for each occurring q-byte pattern an (ordered) posting list with the po...
ICAPR
2009
Springer
14 years 7 days ago
2009
Springer
In this paper, we propose a method to exploit the uniqueness in the illumination variations on the face image of a subject for face verification. Using the 3D wireframe model of a...
ISORC
2000
IEEE
14 years 1 days ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
SIGGRAPH
2000
ACM
14 years 7 hour ago
2000
ACM
In this paper, we present a new model of snow accumulation and stability for computergraphics. Our contribution is divided into two major components, each essential for modelling ...
ROBOCUP
1999
Springer
13 years 12 months ago
1999
Springer
In recent years, many researchers in AI and Robotics pay attention to RoboCup, because robotic soccer games needs various techniques in AI and Robotics, such as navigation, behavi...