3454 search results - page 391 / 691 » Modern computer algebra |
190
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we introduce a novel architecture for a hardware based network intrusion detection system (NIDS). Current software-based NIDS are too compute intensive and can not ...
147
click to vote
ECAIW
2000
Springer
15 years 10 months ago
2000
Springer
This paper focuses on the challenge of building technical agents that act flexibly in modern computing and information environments. Flexibility is approached in terms of both cogn...
136
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
Modern software is often constructed using "spiral specification"; i.e. the specification is a dynamic document that is altered by experience with the current version of...
186
click to vote
TACS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
177
click to vote
AAAI
2008
15 years 9 months ago
2008
The surprisingly good performance of modern satisfiability (SAT) solvers is usually explained by the existence of a certain "hidden structure" in real-world instances. W...