Sciweavers

1096 search results - page 71 / 220
» Abstract Canonical Inference
Sort
View
SCP
1998
113views more  SCP 1998»
14 years 9 months ago
Linear-Time Hierarchies for a Functional Language Machine Model
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
Eva Rose
MTA
2007
83views more  MTA 2007»
14 years 9 months ago
A study on multimedia documents behavior: a notion of equivalence
Abstract. In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider presentations as c...
Paola Bertolotti, Ombretta Gaggi
CONCUR
2010
Springer
14 years 8 months ago
On the Use of Non-deterministic Automata for Presburger Arithmetic
Abstract. A well-known decision procedure for Presburger arithmetic uses deterministic finite-state automata. While the complexity of the decision procedure for Presburger arithme...
Antoine Durand-Gasselin, Peter Habermehl
QEST
2010
IEEE
14 years 7 months ago
The Measurable Space of Stochastic Processes
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Luca Cardelli, Radu Mardare
CAV
2011
Springer
217views Hardware» more  CAV 2011»
14 years 1 months ago
From Cardiac Cells to Genetic Regulatory Networks
Abstract. A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to ...
Radu Grosu, Grégory Batt, Flavio H. Fenton,...