3575 search results - page 103 / 715 » Presentations of computably enumerable reals |
198
click to vote
PODC
1990
ACM
15 years 10 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
212
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Multicore processors promise higher throughput at lower power consumption than single core processors. Thus in the near future they will be widely used in hard real-time systems as...
143
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Interventional neuroradiology is a growing field of minimally invasive therapies that includes embolization of aneurysms and arteriovenous malformations, carotid angioplasty and ca...
164
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
An empirical study of implementation tradeoffs (choice of ready queue implementation, quantum-driven vs. eventdriven scheduling, and interrupt handling strategy) affecting global ...
177
click to vote
CAIP
2009
Springer
16 years 26 days ago
2009
Springer
A probabilistic framework for vision based volumetric reconstruction and marker free tracking of hand and face volumes is presented, which exclusively relies on off-the-shelf hardw...