Sciweavers

2452 search results - page 301 / 491
» The Case for Precision Sharing
Sort
View
LPAR
2007
Springer
16 years 23 days ago
Deciding Knowledge in Security Protocols for Monoidal Equational Theories
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Véronique Cortier, Stéphanie Delaune
SCIA
2007
Springer
162views Image Analysis» more  SCIA 2007»
16 years 22 days ago
A Robust Approach for 3D Cars Reconstruction
Computing high quality 3D models from multi-view stereo reconstruction is an active topic as can be seen in a recent review [15]. Most approaches make the strong assumption that th...
Adrien Auclair, Laurent D. Cohen, Nicole Vincent
SSD
2007
Springer
150views Database» more  SSD 2007»
16 years 22 days ago
Online Amnesic Summarization of Streaming Locations
Abstract. Massive data streams of positional updates become increasingly difficult to manage under limited memory resources, especially in terms of providing near real-time respons...
Michalis Potamias, Kostas Patroumpas, Timos K. Sel...
VISUAL
2007
Springer
16 years 22 days ago
Automatic Detection and Recognition of Players in Soccer Videos
An application for content-based annotation and retrieval of videos can be found in the sport domain, where videos are annotated in order to produce short summaries for news and sp...
Lamberto Ballan, Marco Bertini, Alberto Del Bimbo,...
DFT
2006
IEEE
74views VLSI» more  DFT 2006»
16 years 21 days ago
Recovery Mechanisms for Dual Core Architectures
Dual core architectures are commonly used to establish fault tolerance on the node level. Since comparison is usually performed for the outputs only, no precise diagnostic informa...
Christian El Salloum, Andreas Steininger, Peter Tu...