Sciweavers

2819 search results - page 213 / 564
» Automatic Structures
Sort
View
190
Voted
DOCENG
2004
ACM
16 years 14 days ago
A reduced yet extensible audio-visual description language
Enabling an intelligent access to multimedia data requires a powerful description language. In this paper, we demonstrate why the MPEG-7 standard fails to fulfill this task. We i...
Raphaël Troncy, Jean Carrive
186
Voted
EMNLP
2007
15 years 8 months ago
Extending a Thesaurus in the Pan-Chinese Context
In this paper, we address a unique problem in Chinese language processing and report on our study on extending a Chinese thesaurus with region-specific words, mostly from the fina...
Oi Yee Kwong, Benjamin Ka-Yin T'sou
209
Voted
HICSS
1998
IEEE
195views Biometrics» more  HICSS 1998»
15 years 11 months ago
Augmenting User Interfaces for Digital Libraries with Virtual Reality
This paper describes a generic approach to the development of a virtual reality-based user interface for a collection of digital documents. We emphasise the role of intrinsic inte...
Chaomei Chen
201
Voted
ICECCS
2007
IEEE
129views Hardware» more  ICECCS 2007»
15 years 11 months ago
Automated Verification of Shape, Size and Bag Properties
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
ICIP
2001
IEEE
16 years 8 months ago
(Semi-)automatic recognition of microorganisms in water
The structure of biocenosis is a powerful indicator for the condition of and changes in quality of the ecosystem. Identification and quantification of populations of microorganism...
Burkhard A. Hense, Karsten Rodenacker, Peter Gais,...