14577 search results - page 2788 / 2916 » Statistical Language Modelling |
138
Voted
ICECCS
1999
IEEE
15 years 7 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...
110
Voted
ICMCS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract--In this paper, a procedure is described for the segmentation, content-based coding, and visualization of videoconference image sequences. First, image sequence analysis i...
114
Voted
ICMCS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, a technique is presented for CT image analysis and visualization of the bronchial airways. The technique provides a non-invasive way to examine the interior of the ...
146
Voted
ER
1999
Springer
15 years 6 months ago
1999
Springer
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
134
Voted
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...