Sciweavers

2556 search results - page 386 / 512
» The Triconnected Abstraction of Process Models
Sort
View
SEBD
1997
134views Database» more  SEBD 1997»
15 years 7 months ago
A Systematic Approach to Multidimensional Databases
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
Luca Cabibbo, Riccardo Torlone
HASE
2008
IEEE
15 years 6 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
BC
1998
84views more  BC 1998»
15 years 6 months ago
Stimulus-induced bifurcations in discrete-time neural oscillators
Abstract. Based on theoretical issues and neurobiological evidence, considerable interest has recently focused on dynamic computational elements in neural systems. Such elements re...
Ali A. Minai, Tirunelveli Anand
GI
2010
Springer
15 years 4 months ago
Ontology-based Registration of Entities for Data Integration in Large Biomedical Research Projects
Abstract: Large biomedical projects often include workflows running across institutional borders. In these workflows, data describing biomedical entities, such as patients, bio-m...
Toralf Kirsten, Alexander Kiel
ECCV
2006
Springer
16 years 8 months ago
Differential Geometric Consistency Extends Stereo to Curved Surfaces
Abstract. Traditional stereo algorithms implicitly use the frontal parallel plane assumption when exploiting contextual information, since the smoothness prior biases towards const...
Gang Li, Steven W. Zucker