Sciweavers

4629 search results - page 581 / 926
» Space Kernel Analysis
Sort
View
3DPVT
2004
IEEE
115views Visualization» more  3DPVT 2004»
15 years 11 months ago
Estimating Curvatures and Their Derivatives on Triangle Meshes
The computation of curvature and other differential properties of surfaces is essential for many techniques in analysis and rendering. We present a finite-differences approach for...
Szymon Rusinkiewicz
VLDB
1991
ACM
141views Database» more  VLDB 1991»
15 years 11 months ago
Efficiency of Nested Relational Document Database Systems
Systems designed for efficient retrieval of conventional data can be very inefficient at retrieving documents. Documents have more complex structure than conventional data, and th...
Justin Zobel, James A. Thom, Ron Sacks-Davis
ADAEUROPE
2008
Springer
15 years 9 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
ATAL
2008
Springer
15 years 9 months ago
Automated global-to-local programming in 1-D spatial multi-agent systems
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
Daniel Yamins, Radhika Nagpal
EUSFLAT
2007
108views Fuzzy Logic» more  EUSFLAT 2007»
15 years 9 months ago
Lattice-Valued Possibilistic Entropy Functions
Lattice-valued entropy functions defined by a lattice-valued possibilistic distribution π on a space Ω are defined as the expected value (in the sense of Sugeno integral) of ...
Ivan Kramosil