Sciweavers

2819 search results - page 213 / 564
» Automatic Structures
Sort
View
DOCENG
2004
ACM
15 years 12 months 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
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
HICSS
1998
IEEE
195views Biometrics» more  HICSS 1998»
15 years 10 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
ICECCS
2007
IEEE
129views Hardware» more  ICECCS 2007»
15 years 10 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,...