366 search results - page 55 / 74 » Synthesis: Words and Traces |
INFFUS
2007
13 years 7 months ago
2007
The task of enhancing the perception of a scene by combining information captured by different sensors is usually known as image fusion. The pyramid decomposition and the Dual-Tr...
JAR
2000
13 years 7 months ago
2000
We study the runtime distributions of backtrack procedures for propositional satisfiability and constraint satisfaction. Such procedures often exhibit a large variability in perfor...
JSS
2010
13 years 5 months ago
2010
Random testing is not only a useful testing technique in itself, but also plays a core role in many other testing methods. Hence, any significant improvement to random testing ha...
BIOCOMP
2010
13 years 5 months ago
2010
The tryptophan operon of E. coli represents an important regulatory unit consisting of multiple feedback loops. The role of these loops is crucial to understand the dynamics of tr...
APN
2009
Springer
14 years 2 months ago
2009
Springer
In [LJ06] Lorenz and Juh´as raised the question of whether there exists a suitable formalism for the representation of infinite families of partial orders generated by Petri nets...