Sciweavers

3059 search results - page 285 / 612
» Information modeling for single sourcing
Sort
View
ACSD
2010
IEEE
222views Hardware» more  ACSD 2010»
15 years 4 months ago
Efficient Model Checking of PSL Safety Properties
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
Tuomas Launiainen, Keijo Heljanko, Tommi A. Juntti...
CVPR
2004
IEEE
16 years 8 months ago
Restoration of Curved Document Images through 3D Shape Modeling
In this paper, we address the problem of discovering the 3D shape of a book surface from the shading information in a scanned document image. This shapefrom-shading problem is cha...
Zheng Zhang 0003, Chew Lim Tan, Liying Fan
ICASSP
2009
IEEE
16 years 1 months ago
A flat direct model for speech recognition
We introduce a direct model for speech recognition that assumes an unstructured, i.e., flat text output. The flat model allows us to model arbitrary attributes and dependences o...
Georg Heigold, Geoffrey Zweig, Xiao Li, Patrick Ng...
CSL
2004
Springer
15 years 6 months ago
Contemporaneous text as side-information in statistical language modeling
We propose new methods to exploit contemporaneous text, such as on-line news articles, to improve language models for automatic speech recognition and other natural language proce...
Sanjeev Khudanpur, Woosung Kim
179
Voted
ICCV
2003
IEEE
16 years 8 months ago
Using Temporal Coherence to Build Models of Animals
This paper describes a system that can build appearance models of animals automatically from a video sequence of the relevant animal with no explicit supervisory information. The ...
Deva Ramanan, David A. Forsyth