866 search results - page 124 / 174 » A Formal Investigation of |
111
click to vote
DAWAK
2000
Springer
15 years 4 months ago
2000
Springer
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
117
click to vote
ICECCS
1999
IEEE
15 years 4 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
122
click to vote
ECCV
1998
Springer
15 years 4 months ago
1998
Springer
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 ...
SPATIALCOGNITION
1998
Springer
15 years 4 months ago
1998
Springer
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 ...
APN
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...