4134 search results - page 658 / 827 » Collaborative Practice Research |
103
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
In large-scale environments, network intrusion detection systems (NIDSs) face extreme challenges with respect to traffic volume, traffic diversity, and resource management. Whil...
125
Voted
DAS
2004
Springer
15 years 9 months ago
2004
Springer
Despite the current practice of re-keying most documents placed in digital libraries, we continue to try to improve accuracy of automated recognition techniques for obtaining docum...
158
Voted
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
151
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
136
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Genetic algorithms require relatively large computation time to solve optimization problems, especially in VLSI CAD such as module placement. Therefore, island-based parallel GAs a...