1424 search results - page 77 / 285 » Improving on Version Stamps |
DAGM
1993
Springer
1993
Springer
Segmentation of Magnetic Resonance Brain Images using Analog Constraint Satisfaction Neural Networks
15 years 3 months ago
The Grey-White Decision Network (GWDN) is presented as an analog constraint satisfaction neural network that segments magnetic resonance brain images. Constraints on signal intens...
75
Voted
ECAI
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We present an approximation theory for the extended answer set semantics, using the concept of an approximation constraint. Intuitively, an approximation constraint, whil...
CAV
2003
Springer
15 years 2 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
79
Voted
SC
1995
ACM
15 years 2 months ago
1995
ACM
The design of a parallel implementation of multilevel recursive spectral bisection on the Cray T3D is described. The code is intended to be fast enough to enable dynamic repartiti...
CP
2008
Springer
15 years 28 days ago
2008
Springer
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...