6800 search results - page 607 / 1360 » Testing with Functions as Specifications |
217
click to vote
EVOW
2011
Springer
14 years 11 months ago
2011
Springer
The Strategy Game Description Game Language (SGDL) is intended to become a complete description of all aspects of strategy games, including rules, parameters, scenarios, maps, and ...
211
click to vote
TVCG
2012
13 years 10 months ago
2012
— Scientists conducting microarray and other experiments use circular Venn and Euler diagrams to analyze and illustrate their results. As one solution to this problem, this artic...
215
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
The availability of quantitative online benchmarks for
low-level vision tasks such as stereo and optical flow has led
to significant progress in the respective fields. This paper...
200
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
A novel method is introduced to recognize and estimate the scale of time-varying human gestures. It exploits the changes in contours along spatio-temporal directions. Each contour...
251
click to vote
EVOW
2010
Springer
16 years 2 months ago
2010
Springer
Overlapping genes (encoded on the same DNA strand but in different frames) are thought to be rare and, therefore, were largely neglected in the past. In a test set of 800 viruses ...