Sciweavers

EUROCAST
2005
Springer
102views Hardware» more  EUROCAST 2005»
13 years 10 months ago
Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance
Similarity queries in traditional databases work directly on attribute values. But, often similar attribute values do not indicate similar meanings. Semantic background information...
Josef Küng, Roland Wagner
EUROCAST
2005
Springer
166views Hardware» more  EUROCAST 2005»
13 years 10 months ago
A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines
In this paper, we present a new pseudo-random sequence generator, constructed by the generalized discrete Baker transformation. This new generator is called Cascaded Baker Register...
Dominik Jochinger, Franz Pichler
EUROCAST
2005
Springer
68views Hardware» more  EUROCAST 2005»
13 years 10 months ago
A Model-Based Architecture for Fuzzy Temporal Diagnosis
José M. Juárez, José Palma, M...
EUROCAST
2005
Springer
76views Hardware» more  EUROCAST 2005»
13 years 10 months ago
Permanency Memories in Scene Depth Analysis
Miguel Angel Fernández, José M. L&oa...
EUROCAST
2005
Springer
75views Hardware» more  EUROCAST 2005»
13 years 10 months ago
Programming by Integration in Robotics
José Luis Fernández-Pérez, An...
EUROCAST
2005
Springer
84views Hardware» more  EUROCAST 2005»
13 years 10 months ago
A Tractable Subclass of Fuzzy Constraint Networks
The Fuzzy Constraint Networks model, a generalization of the Disjunctive Temporal Fuzzy Constraint Networks, is a framework that allows representing and reasoning with fuzzy qualit...
Alfonso Bosch, Francisco Guil, Roque Marín
EUROCAST
2005
Springer
86views Hardware» more  EUROCAST 2005»
13 years 10 months ago
Convergence of Iterations
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
Paul Cull
EUROCAST
2005
Springer
97views Hardware» more  EUROCAST 2005»
13 years 10 months ago
Extracting Computer Algebra Programs from Statements
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been me...
Jesús Aransay, Clemens Ballarin, Julio Rubi...
EUROCAST
2005
Springer
84views Hardware» more  EUROCAST 2005»
13 years 10 months ago
Extension of Ontologies Assisted by Automated Reasoning Systems
Joaquín Borrego-Díaz, Antonia M. Ch&...
EUROCAST
2005
Springer
86views Hardware» more  EUROCAST 2005»
13 years 10 months ago
Verification of Language Based Fault-Tolerance
Clara Benac Earle, Lars-Åke Fredlund