2880 search results - page 324 / 576 » Approximate Range Searching |
92
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
In this poster, we describe WOOD (Web-based Objectoriented Desktop) which is a web-based personalization information system. It provides various types of application components to...
129
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
117
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Page flipping is an important part of paper-based document navigation. However this affordance of paper document has not been fully transferred to digital documents. In this paper...
151
Voted
EDBT
2004
ACM
16 years 3 months ago
2004
ACM
Despite the existence of obstacles in many database applications, traditional spatial query processing utilizes the Euclidean distance metric assuming that points in space are dire...
105
click to vote
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...