5799 search results - page 800 / 1160 » Health-OS: : a position paper |
181
click to vote
CADE
1998
Springer
15 years 11 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...
169
click to vote
SIGGRAPH
1998
ACM
15 years 11 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...
185
Voted
HOTOS
1997
IEEE
15 years 11 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
234
Voted
MICCAI
1998
Springer
15 years 11 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...
211
Voted
VLDB
1998
ACM
15 years 11 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 ...