6608 search results - page 1294 / 1322 » On the Completeness of Model Checking |
118
click to vote
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
180
Voted
ICIP
1997
IEEE
15 years 7 months ago
1997
IEEE
A novel algorithm is described for coding objects in video compression systems which gives complete control over the bit allocation to the video objects. The method is evaluated b...
151
click to vote
ICCV
1995
IEEE
15 years 7 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
149
Voted
ACMACE
2009
ACM
15 years 6 months ago
2009
ACM
Nowadays, video games propose rich scenarios with movementsbased game play, through the manipulation of dedicated devices. The motivation of this study is the elaboration of a com...
133
click to vote
MOBISYS
2010
ACM
15 years 5 months ago
2010
ACM
Mobile sensing is difficult without power. Emerging Computational RFIDs (CRFIDs) provide both sensing and generalpurpose computation without batteries--instead relying on small ca...