11016 search results - page 2032 / 2204 » Cloud Computing for Science |
124
Voted
CAISE
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
131
Voted
SIGGRAPH
1998
ACM
15 years 9 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...
159
click to vote
ECCV
1998
Springer
15 years 9 months ago
1998
Springer
This paper investigates the linear degeneracies of projective structure estimation from point and line features across three views. We show that the rank of the linear system of e...
159
Voted
SPAA
1997
ACM
15 years 9 months ago
1997
ACM
- Partitioning unstructured graphs is central to the parallel solution of computational science and engineering problems. Spectral partitioners, such recursive spectral bisection (...
133
click to vote
BIRTHDAY
1997
Springer
15 years 9 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...