14084 search results - page 277 / 2817 » A Theory for Game Theories |
161
click to vote
JAIR
2011
15 years 1 months ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
208
click to vote
JAISE
2010
15 years 1 months ago
2010
The ability to identify the behavior of people in a home is at the core of Smart Home functionality. Such environments are equipped with sensors that unobtrusively capture informat...
211
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In our previous work [1, 2] we studied detection of anomalies in packet arrival times for computer networks, most detection of denialof-service (DoS) attacks in Internet traffic....
202
click to vote
PAMI
2011
14 years 9 months ago
2011
Abstract—In this paper, we define meta-recognition, a performance prediction method for recognition algorithms, and examine the theoretical basis for its post-recognition score ...
216
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present a new Coprime Blurred Pair (CBP) theory that may benefit a number of computer vision applications. A CBP is constructed by blurring the same latent image with two unkn...