Sciweavers

5046 search results - page 873 / 1010
» Feature Selection from Huge Feature Sets
Sort
View
RAID
2005
Springer
15 years 11 months ago
Anomalous Payload-Based Worm Detection and Signature Generation
New features of the PAYL anomalous payload detection sensor are demonstrated to accurately detect and generate signatures for zero-day worms. Experimental evidence demonstrates tha...
Ke Wang, Gabriela F. Cretu, Salvatore J. Stolfo
ATAL
2004
Springer
15 years 11 months ago
Universality in Multi-Agent Systems
Much research in multi-agent systems reflects the field’s origins in classical artificial intelligence, showing how various refinements to the internal reasoning of individual a...
H. Van Dyke Parunak, Sven Brueckner, Robert Savit
ISOLA
2004
Springer
15 years 11 months ago
Embedding Finite Automata within regular Expressions
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 11 months ago
The Succinct Solver Suite
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
Flemming Nielson, Hanne Riis Nielson, Hongyan Sun,...
ICRA
2003
IEEE
129views Robotics» more  ICRA 2003»
15 years 11 months ago
Self-positioning with an omni-directional stereo system
— This paper presents a self-positioning system for the mobile robot. The proposed positioning system consists of a stereo setup of two ODVs (Omni-Directional Vision) for obtaini...
Jyun-ichi Eino, Toshinobu Takashi, Jun-ichi Takigu...