Sciweavers

400 search results - page 59 / 80
» Rational stochastic languages
Sort
View
IANDC
2011
119views more  IANDC 2011»
13 years 2 months ago
Quantitative Kleene coalgebras
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsa...
ATAL
2007
Springer
14 years 1 months ago
Goals in the context of BDI plan failure and planning
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
Sebastian Sardiña, Lin Padgham
WOSP
2004
ACM
14 years 29 days ago
Software performance modelling using PEPA nets
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
Stephen Gilmore, Jane Hillston, Leïla Kloul, ...
ANLP
1992
86views more  ANLP 1992»
13 years 8 months ago
A Simple Rule-Based Part of Speech Tagger
Automatic part of speech tagging is an area of natural language processing where statistical techniques have been more successful than rule-based methods. In this paper, we presen...
Eric Brill
CMSB
2009
Springer
14 years 2 months ago
Dynamic Compartments in the Imperative pi-Calculus
Dynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to expr...
Mathias John, Cédric Lhoussaine, Joachim Ni...