2598 search results - page 234 / 520 » The Abstract Immune System Algorithm |
172
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
138
click to vote
FC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Tor is currently one of the more popular systems for anonymizing near real-time communications on the Internet. Recently, Borisov et al. proposed a denial of service base...
176
click to vote
SIES
2007
IEEE
16 years 26 days ago
2007
IEEE
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
160
click to vote
ICRA
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— This paper describes a virtual reality based Programming by Demonstration system for grasp recognition in manipulation tasks and robot pregrasp planning. The system cla...
157
click to vote
ITCC
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract: Evidence of some attacks can be manifested by abnormal sequences of system calls of programs. Most approaches that have been developed so far mainly concentrate on some p...