Sciweavers

2479 search results - page 362 / 496
» Quantum complexity theory
Sort
View
RTSS
2003
IEEE
15 years 11 months ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
COMPGEOM
2003
ACM
15 years 11 months ago
Anisotropic voronoi diagrams and guaranteed-quality anisotropic mesh generation
We introduce anisotropic Voronoi diagrams, a generalization of multiplicatively weighted Voronoi diagrams suitable for generating guaranteed-quality meshes of domains in which lon...
François Labelle, Jonathan Richard Shewchuk
DOCENG
2003
ACM
15 years 11 months ago
XPath on left and right sides of rules: toward compact XML tree rewriting through node patterns
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
Jean-Yves Vion-Dury
GRAPHITE
2003
ACM
15 years 11 months ago
Scalable photon splatting for global illumination
In this paper, we present a new image based method for computing efficiently global illumination using graphics hardware. We propose a two pass method to compute global lighting ...
Fabien Lavignotte, Mathias Paulin
MM
2003
ACM
132views Multimedia» more  MM 2003»
15 years 11 months ago
On image auto-annotation with latent space models
Image auto-annotation, i.e., the association of words to whole images, has attracted considerable attention. In particular, unsupervised, probabilistic latent variable models of t...
Florent Monay, Daniel Gatica-Perez