Sciweavers

3965 search results - page 387 / 793
» Effectivity of Regular Spaces
Sort
View
QEST
2006
IEEE
16 years 26 days ago
Modeling Fiber Delay Loops in an All Optical Switch
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...
Ana Busic, Mouad Ben Mamoun, Jean-Michel Fourneau
ICMCS
2005
IEEE
91views Multimedia» more  ICMCS 2005»
16 years 13 days ago
An Intuitive Graphic Environment for Navigation and Classification of Multimedia Documents
In this work we propose an intuitive graphic framework for the effective visualization of MPEG-7 low-level features, in the context of classification and annotation of audio-visu...
Marco Campanella, Riccardo Leonardi, Pierangelo Mi...
SI3D
2005
ACM
16 years 12 days ago
Adaptive sampling of intersectable models exploiting image and object-space coherence
We present a sampling strategy and rendering framework for intersectable models, whose surface is implicitly defined by a black box intersection test that provides the location a...
Anders Adamson, Marc Alexa, Andrew Nealen
CAV
2005
Springer
129views Hardware» more  CAV 2005»
16 years 11 days ago
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vard...
ROBOCUP
2005
Springer
108views Robotics» more  ROBOCUP 2005»
16 years 9 days ago
Successful Search and Rescue in Simulated Disaster Areas
RoboCupRescue Simulation is a large-scale multi-agent simulation of urban disasters where, in order to save lives and minimize damage, rescue teams must effectively cooperate despi...
Alexander Kleiner, Michael Brenner, Tobias Brä...