18016 search results - page 3241 / 3604 » Data Mining - Concepts and Techniques |
305
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
228
click to vote
3DIM
1997
IEEE
15 years 11 months ago
1997
IEEE
In this article we present a method for automatically constructing a solid (in the CAD sense) model of an unknown object from range images. The model acquisition system provides f...
181
click to vote
HIPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...
156
click to vote
OOPSLA
1998
Springer
15 years 11 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
166
click to vote
SMILE
1998
Springer
15 years 11 months ago
1998
Springer
We revisit the bilinear matching constraint between two perspective views of a 3D scene. Our objective is to represent the constraint in the same manner and form as the trilinear ...