Sciweavers

9412 search results - page 1525 / 1883
» An aspect-oriented generative approach
Sort
View
CONCUR
1999
Springer
15 years 11 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
MSS
1999
IEEE
140views Hardware» more  MSS 1999»
15 years 11 months ago
Pursuit of a Scalable High Performance Multi-Petabyte Database
When the BaBar experiment at the Stanford Linear Accelerator Center starts in April 1999, it will generate approximately 200TB/year of data at a rate of 10MB/sec for 10 years. A m...
Andrew Hanushevsky, Marcia Nowark
EUROCOLT
1999
Springer
15 years 11 months ago
Regularized Principal Manifolds
Many settings of unsupervised learning can be viewed as quantization problems — the minimization of the expected quantization error subject to some restrictions. This allows the ...
Alex J. Smola, Robert C. Williamson, Sebastian Mik...
WETICE
1999
IEEE
15 years 11 months ago
More Flexible Data Types
XML, as "the next generation ASCII", can play several roles in a distributed object system; one of the more exciting ones is as the basis for serialized data representat...
Mike Spreitzer, Andrew Begel
CGI
1998
IEEE
15 years 11 months ago
Deformable Surfaces for Feature Based Indirect Volume Rendering
In this paper we present an indirect volume visualization method, based on the deformable surface model, which is a three dimensional extension of the snake segmentation method. I...
Christoph Lürig, Leif Kobbelt, Thomas Ertl
« Prev « First page 1525 / 1883 Last » Next »