Sciweavers

454 search results - page 50 / 91
» Models for Data-Flow Sequential Processes
Sort
View
ICALP
2004
Springer
15 years 5 months ago
A Calculus of Coroutines
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
James Laird
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 5 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
MVA
1994
15 years 1 months ago
A study of Joint Set Modeling Based on Edge-Base Stereo Matching
Modeling of 3-D Joint Set Interpretation In order to estimate rock joint parameters, such as strikes and dips which geologists often inspect on site andlor calculate through 3Djoin...
Takeshi Doihara, Tatsuo Ikeda, Kazuo Oda, Masahiro...
ICASSP
2008
IEEE
15 years 6 months ago
Discriminative feature selection for hidden Markov models using Segmental Boosting
We address the feature selection problem for hidden Markov models (HMMs) in sequence classification. Temporal correlation in sequences often causes difficulty in applying featur...
Pei Yin, Irfan A. Essa, Thad Starner, James M. Reh...
KES
1999
Springer
15 years 4 months ago
Dynamic Demes parallel genetic algorithm
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
Mariusz Nowostawski, Riccardo Poli