3238 search results - page 492 / 648 » On the Computational Interpretation of Negation |
173
click to vote
ECCE
2007
15 years 8 months ago
2007
Motivation – This paper is based on a research project which examines the way car drivers and automated devices cooperate to achieve lateral control of a vehicle. A theoretical ...
172
click to vote
IMC
2007
ACM
15 years 8 months ago
2007
ACM
Rogue (unauthorized) wireless access points pose serious security threats to local networks. In this paper, we propose two online algorithms to detect rogue access points using se...
153
click to vote
FLAIRS
2006
15 years 7 months ago
2006
This paper describes the design and execution of a roboticsthemed AI elective at a small liberal arts institution. An important goal of the course is to spark and nurture students...
211
click to vote
ISMB
2000
15 years 7 months ago
2000
Several microarray technologies that monitor the level of expression of a large number of genes have recently emerged. Given DNA-microarray data for a set of cells characterized b...
197
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Fair exchange is one of the most fundamental problems in secure distributed computation. Alice has something that Bob wants, and Bob has something that Alice wants. A fair exchang...