Sciweavers

1128 search results - page 84 / 226
» Classical Natural Deduction
Sort
View
ATAL
2004
Springer
14 years 3 months ago
Using the Experimental Method to Produce Reliable Self-Organised Systems
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
Bruce Edmonds
ICCS
2004
Springer
14 years 3 months ago
Iceberg Query Lattices for Datalog
In this paper we study two orthogonal extensions of the classical data mining problem of mining association rules, and show how they naturally interact. The first is the extension...
Gerd Stumme
ISNN
2004
Springer
14 years 3 months ago
A Boosting-Based Framework for Self-Similar and Non-linear Internet Traffic Prediction
Abstract. Internet traffic prediction plays a fundamental role in network design, management, control, and optimization. The self-similar and non-linear nature of network traffic m...
Hanghang Tong, Chongrong Li, Jingrui He
EACL
2006
ACL Anthology
13 years 11 months ago
Multilingual Term Extraction from Domain-specific Corpora Using Morphological Structure
Morphologically complex terms composed from Greek or Latin elements are frequent in scientific and technical texts. Word forming units are thus relevant cues for the identificatio...
Delphine Bernhard
DICTA
2003
13 years 11 months ago
A Bi-Scale-Space for the Analysis of Blobs
We present a scale-space with separate scales in the greyscale and spatial dimensions, using ideas from mathematical morphology. Dynamics are used for greyscale (luminance) filter...
Paul T. Jackway