12774 search results - page 2524 / 2555 » A Framework for Proof Systems |
NAACL
2003
13 years 10 months ago
2003
It is well known that frame independence assumption is a fundamental limitation of current HMM based speech recognition systems. By treating each speech frame independently, HMMs ...
VCIP
2003
13 years 10 months ago
2003
Traditional transcoding on multimedia has been performed from the perspectives of user terminal capabilities such as display sizes and decoding processing power, and network resou...
DAGSTUHL
1998
13 years 10 months ago
1998
Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...
ISMB
1998
13 years 10 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
NIPS
1997
13 years 10 months ago
1997
Image intensity variations can result from several different object surface effects, including shading from 3-dimensional relief of the object, or paint on the surface itself. An ...