Sciweavers

3709 search results - page 168 / 742
» Supporting experimentation with Side-Views
Sort
View
DAS
2004
Springer
14 years 2 months ago
An Integrated Approach for Automatic Semantic Structure Extraction in Document Images
In this paper we present an integrated approach for semantic structure extraction in document images. Document images are initially processed to extract both their layout and logic...
Margherita Berardi, Michele Lapi, Donato Malerba
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
14 years 2 months ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
PPSN
2004
Springer
14 years 2 months ago
Fitness Distributions and GA Hardness
Considerable research effort has been spent in trying to formulate a good definition of GA-Hardness. Given an instance of a problem, the objective is to estimate the performance of...
Yossi Borenstein, Riccardo Poli
COOPIS
2003
IEEE
14 years 2 months ago
A Distributed Rule Mechanism for Multidatabase Systems
Abstract. We describe a mechanism based on distributed Event-ConditionAction (ECA) rules that supports data coordination in a multidatabase setting. The proposed mechanism includes...
Vasiliki Kantere, John Mylopoulos, Iluju Kiringa
ICDAR
2003
IEEE
14 years 2 months ago
A Multiclass Classification Method Based on Multiple Pairwise Classifiers
In this paper, a new method of composing a multiclass classifier using pairwise classifiers is proposed. A “Resemblance Model” is exploited to calculate a posteriori probabili...
Tomoyuki Hamamura, Hiroyuki Mizutani, Bunpei Irie