13752 search results - page 2274 / 2751 » Parallel and Distributed Haskells |
159
click to vote
AIIA
2005
Springer
16 years 2 days ago
2005
Springer
We present a proposal for an Automatic Speech Recognizer based on a “multigranular” model. The leading hypothesis is that speech signal contains information distributed on more...
139
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...
180
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
134
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
167
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...