Sciweavers

2911 search results - page 229 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
DNA
2007
Springer
127views Bioinformatics» more  DNA 2007»
16 years 22 days ago
Discrete Simulations of Biochemical Dynamics
Abstract. Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics are computed by metabolic algor...
Vincenzo Manca
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 2 days ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
CINQ
2004
Springer
138views Database» more  CINQ 2004»
15 years 12 months ago
Relevancy in Constraint-Based Subgroup Discovery
This chapter investigates subgroup discovery as a task of constraint-based mining of local patterns, aimed at describing groups of individuals with unusual distributional character...
Nada Lavrac, Dragan Gamberger
FQAS
2004
Springer
63views Database» more  FQAS 2004»
15 years 12 months ago
On Querying Ontologies and Databases
This paper concerns the motivation for and subsequently the analysis of proposed additions, in the form of new operators, to a concept language Ontolog for use in querying a conten...
Henrik Bulskov, Rasmus Knappe, Troels Andreasen
CONCUR
2003
Springer
15 years 11 months ago
Deciding Bisimilarity between BPA and BPP Processes
We identify a necessary condition for when a given BPP process can be expressed as a BPA process. We provide an effective procedure for testing if this condition holds of a given B...
Petr Jancar, Antonín Kucera, Faron Moller