Sciweavers

2655 search results - page 259 / 531
» User-Tailored Plan Presentation
Sort
View
AI
2011
Springer
15 years 1 months ago
A unifying action calculus
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
Michael Thielscher
ISBI
2011
IEEE
14 years 10 months ago
Interventional MR-imaging for thermal ablation therapy
Magnetic Resonance Imaging (MRI) has several unique advantages for guiding thermal ablation therapies. It not only provides excellent soft-tissue contrast and multiplanar capabili...
Eva Rothgang, Wesley D. Gilson, Wilhelm Strehl, Li...
ISQED
2011
IEEE
398views Hardware» more  ISQED 2011»
14 years 10 months ago
Switching constraint-driven thermal and reliability analysis of Nanometer designs
As process technology continues to shrink, interconnect current densities continue to increase, making it ever more difficult to meet chip reliability targets. For microprocessors...
Srini Krishnamoorthy, Vishak Venkatraman, Yuri Apa...
CISS
2010
IEEE
14 years 10 months ago
Real-time video quality monitoring for mobile devices
Due to the explosion of various video applications and services it is becoming increasingly important to accurately measure video quality in real-time. Since reference information...
Tao Liu, G. Cash, Wen Chen, Chunhua Chen, Jeffrey ...
ATAL
2011
Springer
14 years 6 months ago
A study of computational and human strategies in revelation games
Revelation games are bilateral bargaining games in which agents may choose to truthfully reveal their private information before engaging in multiple rounds of negotiation. They a...
Noam Peled, Ya'akov (Kobi) Gal, Sarit Kraus