12183 search results - page 291 / 2437 » Computers under Attacks! |
191
click to vote
PRL
2006
15 years 6 months ago
2006
A robust and effective feature map integration method is presented for infrared (IR) target recognition. Noise in an IR image makes a target recognition system unstable in pose es...
183
click to vote
EATCS
2000
15 years 6 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
170
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
Mobile technology requires new methods for studying its use under realistic conditions "in the field." Reflexively, mobile technology also creates new opportunities for ...
150
click to vote
RC
1998
15 years 6 months ago
1998
In computer and electronic manufacturing, it is very important to be able to automatically check whether the surface mounted devices (SMD) are correctly placed on the printed circ...
161
click to vote
JAIR
2010
15 years 5 months ago
2010
We provide a series of algorithms demonstrating that solutions according to the fundamental game-theoretic solution concept of closed under rational behavior (CURB) sets in two-pl...