Sciweavers

2819 search results - page 213 / 564
» Automatic Structures
Sort
View
DOCENG
2004
ACM
14 years 3 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
13 years 11 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»
14 years 1 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»
14 years 1 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
14 years 11 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,...