Sciweavers

742 search results - page 89 / 149
» Constructing Hierarchical Rule Systems
Sort
View
TLDI
2009
ACM
111views Formal Methods» more  TLDI 2009»
14 years 5 months ago
A generic type-and-effect system
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Daniel Marino, Todd D. Millstein
IRI
2005
IEEE
14 years 1 months ago
Exploiting efficient data mining techniques to enhance intrusion detection systems
- Security is becoming a critical part of organizational information systems. Intrusion Detection System (IDS) is an important detection that is used as a countermeasure to preserv...
Chang-Tien Lu, Arnold P. Boedihardjo, Prajwal Mana...
INFSOF
2000
91views more  INFSOF 2000»
13 years 8 months ago
An operational approach to the design of workflow systems
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano
SAC
2005
ACM
14 years 1 months ago
Mining concept associations for knowledge discovery in large textual databases
In this paper, we describe a new approach for mining concept associations from large text collections. The concepts are short sequences of words that occur frequently together acr...
Xiaowei Xu, Mutlu Mete, Nurcan Yuruk
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
14 years 1 months ago
Incorporating fuzzy knowledge into fitness: multiobjective evolutionary 3D design of process plants
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...
Ingo Mierswa