Sciweavers

375 search results - page 44 / 75
» Making Abstract Machines Less Abstract
Sort
View
ICISC
2004
169views Cryptology» more  ICISC 2004»
14 years 12 months ago
ADWICE - Anomaly Detection with Real-Time Incremental Clustering
Abstract. Anomaly detection, detection of deviations from what is considered normal, is an important complement to misuse detection based on attack signatures. Anomaly detection in...
Kalle Burbeck, Simin Nadjm-Tehrani
47
Voted
DAGSTUHL
2003
14 years 12 months ago
Visualizing Maple Plots with JavaViewLib
Abstract. JavaViewLib is a new Maple package combined with the JavaView visualization toolkit that adds new interactivity to Maple plots in both web pages and worksheets. It provid...
Steven Peter Dugaro, Konrad Polthier
AAAI
1992
14 years 11 months ago
Causal Approximations
models require the identi cation of abstractions and approximations that are well suited to the task at hand. In this paper we analyze the problem of automatically selecting adequ...
P. Pandurang Nayak
CONSTRAINTS
2010
101views more  CONSTRAINTS 2010»
14 years 10 months ago
Constraint models for graceful graphs
Abstract. We present three constraint models of the problem of finding a graceful labelling of a graph, or proving that the graph is not graceful. An experimental comparison of the...
Barbara M. Smith, Jean-François Puget
CORR
2010
Springer
113views Education» more  CORR 2010»
14 years 10 months ago
A two-step fusion process for multi-criteria decision applied to natural hazards in mountains
Abstract--Mountain river torrents and snow avalanches generate human and material damages with dramatic consequences. Knowledge about natural phenomenona is often lacking and exper...
Jean-Marc Tacnet, Mireille Batton-Hubert, Jean Dez...