1788 search results - page 140 / 358 » Model Theory for Process Algebra |
NLPRS
2001
Springer
15 years 5 months ago
2001
Springer
This paper proposes a new prosodic phrasing model for Chinese text-tospeech systems. First, in contrast to the commonly used CART techniques, we propose a new inductive learning a...
109
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
The paper presents an extension of Vose’s Markov chain model for genetic algorithm (GA). The model contains not only standard genetic operators such as mutation and crossover bu...
132
click to vote
ICIP
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we propose a system identification approach for group activity recognition in traffic surveillance. Statistical shape theory is used to extract features, and then...
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...
140
Voted
LICS
1998
IEEE
15 years 4 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...