1722 search results - page 246 / 345 » Generating Tests from Counterexamples |
CG
2010
Springer
13 years 7 months ago
2010
Springer
We used in the past a lot of computational power and human expertise for having a very big dataset of good 9x9 Go games, in order to build an opening book. We improved a lot the al...
ACL
2009
13 years 7 months ago
2009
The use of figurative language is ubiquitous in natural language texts and it is a serious bottleneck in automatic text understanding. We address the problem of interpretation of ...
GECCO
2009
Springer
13 years 6 months ago
2009
Springer
The generation of robot controllers for a task requiring a sequence of elementary behaviors is still a challenge. If these behaviors are known, intermediate steps can be given to ...
CVPR
2011
IEEE
13 years 4 months ago
2011
IEEE
Human activity recognition and speech recognition appear to be two loosely related research areas. However, on a careful thought, there are several analogies between activity and ...
ACCV
2010
Springer
13 years 4 months ago
2010
Springer
The state of the art for large database object retrieval in images is based on quantizing descriptors of interest points into visual words. High similarity between matching image r...