Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ISCIS
2004
Springer
12 years 3 months ago
Behavioral Intrusion Detection
Abstract. In this paper we describe anomaly-based intrusion detection as a specialized case of the more general behavior detection problem. We draw concepts from the field of etho...
Stefano Zanero
ISCIS
2004
Springer
12 years 3 months ago
A Study on Answering a Data Mining Query Using a Materialized View
One of the classic data mining problems is discovery of frequent itemsets. This problem particularly attracts database community as it resembles traditional database querying. In t...
Maciej Zakrzewicz, Mikolaj Morzy, Marek Wojciechow...
ISCIS
2004
Springer
12 years 3 months ago
Correctness Requirements for Multiagent Commitment Protocols
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
Pinar Yolum
ISCIS
2004
Springer
12 years 3 months ago
Stubborn Sets for Priority Nets
Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...
Kimmo Varpaaniemi
ISCIS
2004
Springer
12 years 3 months ago
3D Cognitive Map Construction by Active Stereo Vision in a Virtual World
Ilkay Ulusoy, Ugur Halici, Kemal Leblebicioglu
ISCIS
2004
Springer
12 years 3 months ago
Moving Region Detection in Compressed Video
B. Ugur Töreyin, A. Enis Çetin, Anil A...
ISCIS
2004
Springer
12 years 3 months ago
Shape Recognition with Generalized Beam Angle Statistics
Ömer Önder Tola, Nafiz Arica, Fatos T. Y...
ISCIS
2004
Springer
12 years 3 months ago
Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL
This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book “Formal Concept Analysis” by Ganter and Wille, in the Isabelle/H...
Baris Sertkaya, Halit Oguztüzün
ISCIS
2004
Springer
12 years 3 months ago
A Tabu Search Algorithm for Sparse Placement of Wavelength Converters in Optical Networks
Abstract. In this paper, we study the problem of placing limited number of wavelength converting nodes in a multi-fiber network with static traffic demands and propose a tabu sear...
Namik Sengezer, Ezhan Karasan
ISCIS
2004
Springer
12 years 3 months ago
Comparison of Web Server Architectures: A Measurement Study
Davide Pagnin, Marina Buzzi, Marco Conti, Enrico G...
books