Sciweavers

4835 search results - page 285 / 967
» Intelligent Selection Tools
Sort
View
AIME
2001
Springer
15 years 11 months ago
Detection of Infectious Outbreaks in Hospitals through Incremental Clustering
Abstract. This paper highlights the shortcomings of current systems of nosocomial infection control and shows how techniques borrowed from statistics and Artificial Intelligence, i...
Timothy Langford, Christophe G. Giraud-Carrier, Jo...
KI
2002
Springer
15 years 6 months ago
Incremental Fuzzy Decision Trees
Abstract. We present a new classification algorithm that combines three properties: It generates decision trees, which proved a valuable and intelligible tool for classification an...
Marina Guetova, Steffen Hölldobler, Hans-Pete...
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 1 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...
SEUS
2007
IEEE
16 years 25 days ago
GENSEN: A Topology Generator for Real Wireless Sensor Networks Deployment
Network Simulators are important tools in network research. As the selected topology often influences the outcome of the simulation, realistic topologies are required to produce re...
Tiago Camilo, Jorge Sá Silva, André ...
IPPS
2006
IEEE
16 years 17 days ago
The monitoring request interface (MRI)
In this paper we present MRI, a high level interface for selective monitoring of code regions and data structures in single and multiprocessor environments. MRI keeps transparent ...
Edmond Kereku, Michael Gerndt