Sciweavers

22358 search results - page 4065 / 4472
» Software Performance Engineering
Sort
View
EPIA
2003
Springer
15 years 10 months ago
Using CLIPS to Detect Network Intrusions
We describe how to build a network intrusion detection sensor by slightly modifying NASA’s CLIPS source code introducing some new features. An overview of the system is presente...
Pedro Alípio, Paulo Carvalho, José N...
ERCIMDL
2003
Springer
106views Education» more  ERCIMDL 2003»
15 years 10 months ago
Topical Crawling for Business Intelligence
Abstract. The Web provides us with a vast resource for business intelligence. However, the large size of the Web and its dynamic nature make the task of foraging appropriate inform...
Gautam Pant, Filippo Menczer
FM
2003
Springer
109views Formal Methods» more  FM 2003»
15 years 10 months ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...
GECCO
2003
Springer
158views Optimization» more  GECCO 2003»
15 years 10 months ago
Active Control of Thermoacoustic Instability in a Model Combustor with Neuromorphic Evolvable Hardware
Continuous Time Recurrent Neural Networks (CTRNNs) have previously been proposed as an enabling paradigm for evolving analog electrical circuits to serve as controllers for physica...
John C. Gallagher, Saranyan Vigraham
ICADL
2003
Springer
117views Education» more  ICADL 2003»
15 years 10 months ago
Metadata++: A Scalable Hierarchical Framework for Digital Libraries
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
Mathew Weaver, Lois M. L. Delcambre, Timothy Tolle
« Prev « First page 4065 / 4472 Last » Next »