1827 search results - page 92 / 366 » Automatic thesaurus construction |
114
click to vote
ISSAC
2004
Springer
15 years 5 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
111
click to vote
ICCS
2001
Springer
15 years 4 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
IUI
2010
ACM
15 years 4 months ago
2010
ACM
We propose the concept of research trails to help web users create and reestablish context across fragmented research processes without requiring them to explicitly structure and ...
IPPS
1996
IEEE
15 years 4 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
111
click to vote
3DIM
2001
IEEE
15 years 3 months ago
2001
IEEE
In this paper, we present a method for automatically creating a 3D model of a scene from a set of range images obtained from unknown viewpoints. Existing 3D modeling approaches re...