1699 search results - page 148 / 340 » On the Expressive Power of QLTL |
183
click to vote
ICNC
2005
Springer
16 years 4 hour ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
162
click to vote
MFCS
2005
Springer
15 years 12 months ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
172
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
We propose a declarative update language for RDF graphs which is based on the paradigms of query and view languages RQL and RVL. Our language, called RUL, ensures that the executio...
196
click to vote
ADS
2004
Springer
15 years 12 months ago
2004
Springer
Laughter is a powerful means of emotion expression which has not yet been used in speech synthesis. The current paper reports on a pilot study in which differently created types of...
213
click to vote
CIS
2004
Springer
15 years 12 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...