2337 search results - page 372 / 468 » Is the Open Way a Better Way |
199
click to vote
CORR
2012
Springer
14 years 1 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
199
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
As cloud computing environments become explosively popular, dealing with unpredictable changes, uncertainties, and disturbances in both systems and environments turns out to be on...
178
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
To navigate reliably in indoor environments, a mobile robot must know where it is. This includes both the ability of globally localizing the robot from scratch, as well as trackin...
172
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
This paper introduces a new concept of surveillance, namely, audio-visual data integration for background modelling. Actually, visual data acquired by a fixed camera can be easily ...
248
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
The suitability of Peer-to-Peer (P2P) approaches for fulltext web retrieval has recently been questioned because of the claimed unacceptable bandwidth consumption induced by retri...