9405 search results - page 1474 / 1881 » Computing a Model of Set Theory |
168
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
179
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...
192
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we demonstrate a novel landmark photo search and browsing system, Agate, which ranks landmark image search results considering their relevance, diversity and qualit...
187
click to vote
COMPSAC
1995
IEEE
15 years 10 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
191
click to vote
CIARP
2009
Springer
15 years 10 months ago
2009
Springer
A large number of computer tasks can be modeled as the search for an object near a given query. From multimedia databases to learning algorithms, data mining and pattern recognitio...