1274 search results - page 128 / 255 » New Proofs for |
94
Voted
STOC
2002
ACM
16 years 1 months ago
2002
ACM
The collision problem is to decide whether a function X : {1, . . . , n} {1, . . . , n} is one-to-one or two-to-one, given that one of these is the case. We show a lower bound of...
77
Voted
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper, the design of a new active cardiac stabilizer, Cardiolock2, is presented. Following the proof of concept Cardiolock [7], this device allows an active stabilizati...
122
Voted
ASWEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
73
Voted
RAID
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In order to detect a compromise of a running process based on it deviating from its program’s normal system-call behavior, an anomaly detector must first be trained wi...
121
Voted
ICWS
2003
IEEE
15 years 2 months ago
2003
IEEE
Semantic Web technology has a vision to define and link Web data in a way that it can be understood and used by machines for automation, integration and reuse of data across variou...