2470 search results - page 240 / 494 » Liveness-Preserving Simulation Relations |
169
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Sequence alignment is a common tool in bioinformatics and comparative genomics. It is generally assumed that multiple sequence alignment yields better results than pai...
186
click to vote
JPDC
2007
15 years 6 months ago
2007
In this paper, we address the problem of multiple sequence alignment (MSA) for handling very large number of proteins sequences on mesh-based multiprocessor architectures. As the ...
170
click to vote
CN
2002
15 years 6 months ago
2002
Recently, there has been a considerable research interest in designing intelligent markers, tailored for TCP traffic. Markers, one of the building blocks of a traffic conditioner ...
187
click to vote
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
284
click to vote
TOMACS
2011
15 years 1 months ago
2011
We consider the problem of the exact simulation of random variables Z that satisfy the distributional identity Z L = V Y + (1 − V )Z, where V ∈ [0, 1] and Y are independent, an...