Sciweavers

5550 search results - page 948 / 1110
» Different Approaches to Proof Systems
Sort
View
DIAL
2006
IEEE
126views Image Analysis» more  DIAL 2006»
16 years 20 days ago
Dedicated Texture Based Tools for Characterisation of Old Books
This paper lies on the field of ancient patrimonial books valorization: it precisely relates to the development of suitable assistance tools for humanists and historians to help t...
Nicholas Journet, Rémy Mullot, Véron...
GLOBECOM
2006
IEEE
16 years 20 days ago
Performance Analysis of Distributed Source Coding and Packet Aggregation in Wireless Sensor Networks
— In this paper, we propose a theoretical setup for evaluation of energy efficiency of wireless sensor networks (WSNs) with distributed source coding (DSC) algorithms and packet...
L. Di Paolo, Carlo Fischione, Carlo Graziosi, Fort...
IAT
2006
IEEE
16 years 20 days ago
An Approximate Algorithm for Resource Allocation Using Combinatorial Auctions
Combinatorial Auctions (CAs), where users bid on combination of items, have emerged as a useful tool for resource allocation in distributed systems. However, two main difficulties...
Viswanath Avasarala, Himanshu Polavarapu, Tracy Mu...
ICDE
2006
IEEE
156views Database» more  ICDE 2006»
16 years 20 days ago
Video Database Modeling and Temporal Pattern Retrieval using Hierarchical Markov Model Mediator
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...
Na Zhao, Shu-Ching Chen, Mei-Ling Shyu
151
Voted
ICRA
2006
IEEE
113views Robotics» more  ICRA 2006»
16 years 19 days ago
Integration of Dependent Bayesian Filters for Robust Tracking
— Robotics applications based on computer vision algorithms are highly constrained to indoor environments where conditions may be controlled. The development of robust visual alg...
Francesc Moreno-Noguer, Alberto Sanfeliu, Dimitris...