6155 search results - page 221 / 1231 » A language for multiple models of computation |
191
click to vote
AIMS
2007
Springer
16 years 23 days ago
2007
Springer
Critical infrastructures are interconnected on multiple levels, and due to their size models with acceptable computational complexity and adequate modeling capacities must be devel...
147
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we show that the emptiness problem for weak 2-peb...
168
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
172
click to vote
ACL
2008
15 years 8 months ago
2008
For centuries, the deep connection between languages has brought about major discoveries about human communication. In this paper we investigate how this powerful source of inform...
200
click to vote
ICMLA
2009
15 years 4 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...