Sciweavers

4485 search results - page 213 / 897
» Equivalences on Observable Processes
Sort
View
QEST
2010
IEEE
15 years 1 months ago
Canonical Form Based MAP(2) Fitting
The importance of the order two Markovian arrival process (MAP(2)) comes from its compactness, serving either as arrival or service process in applications, and from the nice prope...
Levente Bodrog, Peter Buchholz, Jan Kriege, Mikl&o...
98
Voted
KBSE
2008
IEEE
15 years 10 months ago
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
Diego Ordóñez Camacho, Kim Mens
158
Voted
AB
2008
Springer
15 years 10 months ago
On the Computational Power of Biochemistry
We explore the computational power of biochemistry with respect to basic chemistry, identifying complexation as the basic mechanism that distinguishes the former from the latter. W...
Luca Cardelli, Gianluigi Zavattaro
138
Voted
KSEM
2007
Springer
15 years 9 months ago
On Defense Strength of Blocking Defeaters in Admissible Sets
Extended argumentation framework is a formalism where defeat relations are determined by establishing a preference between arguments involved in symmetric conflicts. This process ...
Diego C. Martínez, Alejandro Javier Garc&ia...
130
Voted
AMR
2005
Springer
128views Multimedia» more  AMR 2005»
15 years 9 months ago
Ranking Invariance Based on Similarity Measures in Document Retrieval
Abstract. To automatically retrieve documents or images from a database, retrieval systems use similarity measures to compare a request based on features extracted from the documen...
Jean-François Omhover, Maria Rifqi, Marcin ...