5550 search results - page 948 / 1110 » Different Approaches to Proof Systems |
172
click to vote
DIAL
2006
IEEE
16 years 20 days ago
2006
IEEE
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...
255
click to vote
GLOBECOM
2006
IEEE
2006
IEEE
Performance Analysis of Distributed Source Coding and Packet Aggregation in Wireless Sensor Networks
16 years 20 days ago
— 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...
169
click to vote
IAT
2006
IEEE
16 years 20 days ago
2006
IEEE
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...
199
click to vote
ICDE
2006
IEEE
16 years 20 days ago
2006
IEEE
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...
151
Voted
ICRA
2006
IEEE
16 years 19 days ago
2006
IEEE
— Robotics applications based on computer vision algorithms are highly constrained to indoor environments where conditions may be controlled. The development of robust visual alg...