703 search results - page 107 / 141 » visualization 2000 |
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
GECCO
2000
Springer
13 years 11 months ago
2000
Springer
We describe a genetic segmentation algorithm for image data streams and video. This algorithm operates on segments of a string representation. It is similar to both classical gene...
HHCI
2000
13 years 11 months ago
2000
With the increasing availability and quality of auditory and haptic means of interaction, it is not unusual to incorporate many modalities in interfaces rather than the purely vis...
HUMO
2000
Springer
13 years 11 months ago
2000
Springer
Seeing biological motion is very important for both humans and computers. Psychophysics experiments show that the ability of our visual system for biological motion detection and ...
IJCNN
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents an unsupervised segmentation method for feature sequences based on competitivelearning hidden Markov models. Models associated with the nodes of the Self-Organ...