Sciweavers

2088 search results - page 99 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
IPPS
1998
IEEE
15 years 4 months ago
Replicated Shared Object Model for Edge Detection with Spiral Architecture
Edge detection in computer vision and image processing is a process which detects one kind of signi cant features appearing as discontinuities in intensities. A parallel edge detec...
Xiangjian He, Tom Hintz, Ury Szewcow
RECOMB
2005
Springer
16 years 5 days ago
The Factor Graph Network Model for Biological Systems
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
Irit Gat-Viks, Amos Tanay, Daniela Raijman, Ron Sh...
CORR
2006
Springer
112views Education» more  CORR 2006»
14 years 12 months ago
High-level synthesis under I/O Timing and Memory constraints
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
Philippe Coussy, Gwenolé Corre, Pierre Bome...
KI
2002
Springer
14 years 11 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos
DAC
1999
ACM
15 years 4 months ago
Circuit Complexity Reduction for Symbolic Analysis of Analog Integrated Circuits
This paper presents a method to reduce the complexity of a linear or linearized (small-signal) analog circuit. The reduction technique, based on quality-error ranking, can be used...
Walter Daems, Georges G. E. Gielen, Willy M. C. Sa...