Sciweavers

9507 search results - page 594 / 1902
» Time-based language models
Sort
View
FDL
2005
IEEE
16 years 24 days ago
Linearly graded behavioural analogue performance models
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
Xianqiang Ren, Tom J. Kazmierski
APN
2003
Springer
16 years 12 days ago
The Model-Checking Kit
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
Claus Schröter, Stefan Schwoon, Javier Esparz...
ICDE
1997
IEEE
172views Database» more  ICDE 1997»
15 years 11 months ago
Modeling and Querying Moving Objects
In this paper we propose a data model for representing moving objects in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data model. We also propose Futur...
A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, S...
RE
2001
Springer
15 years 11 months ago
The Single Model Principle
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
Richard F. Paige, Jonathan S. Ostroff
ACL
1997
15 years 8 months ago
Finite State Transducers Approximating Hidden Markov Models
This paper describes the conversion of a Hidden Markov Model into a sequential transducer that closely approximates the behavior of the stochastic model. This transformation is es...
André Kempe