Sciweavers

4224 search results - page 727 / 845
» Reasoning about Choice
Sort
View
198
Voted
3DIM
2011
IEEE
14 years 22 days ago
Finding the Best Feature Detector-Descriptor Combination
Addressing the image correspondence problem by feature matching is a central part of computer vision and 3D inference from images. Consequently, there is a substantial amount of w...
Anders Lindbjerg Dahl, Henrik Aanæs, Kim Ste...
112
Voted
AAAI
2011
14 years 22 days ago
A Switching Planner for Combined Task and Observation Planning
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
Moritz Göbelbecker, Charles Gretton, Richard ...
109
Voted
ATAL
2011
Springer
14 years 22 days ago
Solving Stackelberg games with uncertain observability
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
Dmytro Korzhyk, Vincent Conitzer, Ronald Parr
CCS
2011
ACM
14 years 21 days ago
Information-flow types for homomorphic encryptions
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
Cédric Fournet, Jérémy Planul...
DGO
2011
254views Education» more  DGO 2011»
14 years 16 days ago
Attitudes toward online availability of US public records
Many have enthusiastically greeted the ability to search and view public records online as a great advance for transparency and accountability. Such ability, however, also creates...
Sean A. Munson, Daniel Avrahami, Sunny Consolvo, J...