11374 search results - page 1966 / 2275 » A System Demonstration of ST-TCP |
208
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
178
click to vote
IDMS
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes IBCOW Image-based Classi cation of Objectionable Websites, a system capable of classifying a website as objectionable or benign based on image content. The sys...
205
click to vote
ICDAR
1997
IEEE
15 years 11 months ago
1997
IEEE
ABSTRACT: OCR is an error-prone process. It is time-consuming and expensive to manually proofread OCR results. The errors remaining in OCRed texts can cause serious problems in rea...
231
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
Accurate registration between real and virtual objects is crucial for augmented reality applications. Existing tracking methods are individually inadequate: magnetic trackers are ...
225
click to vote
VISUALIZATION
1992
IEEE
15 years 11 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...