1620 search results - page 212 / 324 » Testing Polymorphic Properties |
168
click to vote
POPL
2012
ACM
14 years 14 days ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
178
click to vote
SIGIR
2012
ACM
13 years 7 months ago
2012
ACM
Many current effectiveness measures incorporate simplifying assumptions about user behavior. These assumptions prevent the measures from reflecting aspects of the search process...
129
click to vote
CVPR
2009
IEEE
17 years 1 days ago
2009
IEEE
In this paper, we address the complex problem of rapid modeling
of large-scale areas and present a novel approach for the automatic
reconstruction of cities from remote sensor da...
165
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
The ubiquitous application of eye tracking is precluded by the requirement of dedicated and expensive hardware, such as infrared high definition cameras. Therefore, systems based s...
134
click to vote
CVPR
2003
IEEE
16 years 7 months ago
2003
IEEE
A scene can be defined as one of the subdivisions of a play in which the setting is fixed, or when it presents continuous action in one place. We propose a novel two-pass algorith...