Sciweavers

5510 search results - page 340 / 1102
» Mathematics
Sort
View
VISUALIZATION
2003
IEEE
16 years 1 days ago
Counting Cases in Marching Cubes: Toward a Generic Algorithm for Producing Substitopes
We describe how to count the cases that arise in a family of visualization techniques, including Marching Cubes, Sweeping Simplices, Contour Meshing, Interval Volumes, and Separat...
David C. Banks, Stephen A. Linton
WECWIS
2003
IEEE
106views ECommerce» more  WECWIS 2003»
16 years 1 days ago
Contract Representation for Run-time Monitoring and Enforcement
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
Carlos Molina-Jiménez, Santosh K. Shrivasta...
ATAL
2003
Springer
16 years 8 hour ago
Reasoning about the dynamics of social behaviour
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
Maria Fasli
BIRTHDAY
2003
Springer
16 years 7 hour ago
Towards a Brain Compatible Theory of Syntax Based on Local Testability
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
Stefano Crespi-Reghizzi, Valentino Braitenberg
158
Voted
PG
2002
IEEE
15 years 11 months ago
The Light Field Oracle
We present the light field oracle, a novel mathematical concept for the acquisition, processing and representation of light fields. We first compute a hierarchical representati...
Reto Lütolf, Bernt Schiele, Markus H. Gross