9067 search results - page 1719 / 1814 » Adaptive Model Checking |
187
click to vote
SIGIR
2009
ACM
16 years 21 days ago
2009
ACM
It is now widely recognized that user interactions with search results can provide substantial relevance information on the documents displayed in the search results. In this pape...
168
click to vote
QEST
2008
IEEE
16 years 17 days ago
2008
IEEE
Magnifying Lens Abstraction in Markov Decision Processes ∗ Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA ...
159
click to vote
IROS
2007
IEEE
16 years 15 days ago
2007
IEEE
— This paper puts forward an approach for a mobile robot to recognize the human’s manipulative actions from different single camera views. While most of the related work in act...
182
click to vote
PATMOS
2007
Springer
16 years 9 days ago
2007
Springer
—Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the...
167
click to vote
SACRYPT
2007
Springer
16 years 9 days ago
2007
Springer
Cache attacks on implementations of cryptographic algorithms have turned out to be very powerful. Progress in processor design, e.g., like hyperthreading, requires to adapt models ...