5799 search results - page 1097 / 1160 » Position Paper |
110
Voted
CADE
1998
Springer
15 years 6 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
106
click to vote
SIGGRAPH
1998
ACM
15 years 6 months ago
1998
ACM
Modeling and rendering of natural scenes with thousands of plants poses a number of problems. The terrain must be modeled and plants must be distributed throughout it in a realist...
154
Voted
MICCAI
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes a method for creating object surfaces from binary-segmented data that are free from aliasing and terracing artifacts. In this method, a net of linked surface n...
142
click to vote
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
109
click to vote
CHI
1997
ACM
15 years 6 months ago
1997
ACM
A novel input device called the Rockin’Mouse is described and evaluated. The Rockin’Mouse is a four degree-of-freedom input device that has the same shape as a regular mouse e...