Sciweavers

2525 search results - page 454 / 505
» A Framework for Semantic Gossiping
Sort
View
AIS
2006
Springer
13 years 8 months ago
Meetings and meeting modeling in smart environments
In this paper we survey our research on smart meeting rooms and its relevance for augmented reality meeting support and virtual reality generation of meetings in real time or off-l...
Anton Nijholt, Rieks op den Akker, Dirk Heylen
CN
2006
117views more  CN 2006»
13 years 8 months ago
Using equivalence-checking to verify robustness to denial of service
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
Stéphane Lafrance
CVIU
2006
105views more  CVIU 2006»
13 years 8 months ago
The representation and matching of categorical shape
We present a framework for categorical shape recognition. The coarse shape of an object is captured by a multiscale blob decomposition, representing the compact and elongated part...
Ali Shokoufandeh, Lars Bretzner, Diego Macrini, M....
DEDS
2006
111views more  DEDS 2006»
13 years 8 months ago
Model Checking of Time Petri Nets Using the State Class Timed Automaton
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...
Didier Lime, Olivier H. Roux
IJCV
2008
147views more  IJCV 2008»
13 years 8 months ago
Shape-Based Mutual Segmentation
We present a novel variational approach for simultaneous segmentation of two images of the same object taken from different viewpoints. Due to noise, clutter and occlusions, neith...
Tammy Riklin-Raviv, Nir A. Sochen, Nahum Kiryati