8701 search results - page 1310 / 1741 » XML-Based Feature Modelling |
182
click to vote
JAIHC
2010
15 years 3 months ago
2010
The state of the art is explored in using soft computing (SC) methods for network intrusion detection, including the examination of efforts in ten specific areas of SC as well as ...
255
click to vote
JUCS
2010
15 years 3 months ago
2010
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...
165
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
127
click to vote
PKDD
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present an automated tool with a web interface for tracking the prevalence of Influenza-like Illness (ILI) in several regions of the United Kingdom using the contents...
128
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...