Sciweavers

4211 search results - page 607 / 843
» A formal approach to MASQ
Sort
View
COCO
2000
Springer
112views Algorithms» more  COCO 2000»
15 years 11 months ago
Combinatorial Interpretation of Kolmogorov Complexity
Kolmogorov’s very first paper on algorithmic information theory (Kolmogorov, Problemy peredachi infotmatsii 1(1) (1965), 3) was entitled “Three approaches to the definition ...
Andrei E. Romashchenko, Alexander Shen, Nikolai K....
IPPS
1998
IEEE
15 years 11 months ago
Predicate Control for Active Debugging of Distributed Programs
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...
Ashis Tarafdar, Vijay K. Garg
ECCV
1998
Springer
15 years 11 months ago
Continuous Audio-Visual Speech Recognition
The Multi-Stream automatic speech recognition approach was investigated in this work as a framework for Audio-Visual data fusion and speech recognition. This method presents many ...
Juergen Luettin, Stéphane Dupont
SPATIALCOGNITION
1998
Springer
15 years 10 months ago
Spatial Representation with Aspect Maps
This paper describes the aspect map approach to model the processing of geographic maps. Geographic maps are described as spatial representation media which play an important role ...
Bettina Berendt, Thomas Barkowsky, Christian Freks...
ICCAD
1994
IEEE
134views Hardware» more  ICCAD 1994»
15 years 10 months ago
Boolean constrained encoding: a new formulation and a case study
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained enc...
Ney Laert Vilar Calazans