1346 search results - page 134 / 270 » Algorithmic Search for Flexibility Using Resultants of Polyn... |
171
Voted
AFRIGRAPH
2004
ACM
15 years 9 months ago
2004
ACM
We describe techniques for exploring 3D scenes by combining non-linear projections with the interactive data mining of camera navigations from previous explorations. Our approach ...
126
Voted
JCDL
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we consider the problem of ambiguous author names in bibliographic citations, and comparatively study alternative approaches to identify and correct such name varia...
150
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
107
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
153
Voted
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...