Sciweavers

2119 search results - page 97 / 424
» Structure-Preserving Model Reduction
Sort
View
EMNLP
2009
15 years 21 days ago
Language Models Based on Semantic Composition
In this paper we propose a novel statistical language model to capture long-range semantic dependencies. Specifically, we apply the concept of semantic composition to the problem ...
Jeff Mitchell, Mirella Lapata
VMCAI
2005
Springer
15 years 8 months ago
Model Checking of Systems Employing Commutative Functions
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
A. Prasad Sistla, Min Zhou, Xiaodong Wang
WCET
2008
15 years 4 months ago
Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis
WCET analysis models for superscalar out-of-order CPUs generally need to be pessimistic in order to account for a wide range of possible dynamic behavior. CPU hardware modificatio...
Jack Whitham, Neil C. Audsley
ICIP
2006
IEEE
16 years 4 months ago
An Illumination Invariant 3D Model Based Tracking Algorithm, with Application in Video Compression
We present an algorithm for illumination invariant 3D model based tracking and video compression. While model-based coding schemes are well developed, the compression rate reduces...
Long Nyugen, Yilei Xu, Amit K. Roy Chowdhury
ICPR
2000
IEEE
16 years 4 months ago
Improved Degraded Document Recognition with Hybrid Modeling Techniques and Character N-Grams
In this paper a robust multifont character recognition system for degraded documents such as photocopy or fax is described. The system is based on Hidden Markov Models (HMMs) usin...
Anja Brakensiek, Daniel Willett, Gerhard Rigoll