Sciweavers

804 search results - page 79 / 161
» Solutions to Computational Problems Through Gene Assembly
Sort
View
LICS
2005
IEEE
15 years 6 months ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
111
Voted
BMCBI
2006
180views more  BMCBI 2006»
15 years 20 days ago
The Gaggle: An open-source software system for integrating bioinformatics software and data sources
Background: Systems biologists work with many kinds of data, from many different sources, using a variety of software tools. Each of these tools typically excels at one type of an...
Paul T. Shannon, David J. Reiss, Richard Bonneau, ...
100
Voted
HPCC
2005
Springer
15 years 6 months ago
On Algorithm for the Delay- and Delay Variation-Bounded Multicast Trees Based on Estimation
With the multicast technology, demands for the real-time group applications through multicasting is getting more important. An essential factor of these real-time strategy is to op...
Youngjin Ahn, Moonseong Kim, Young-Cheol Bang, Hyu...
91
Voted
BMCBI
2008
102views more  BMCBI 2008»
15 years 22 days ago
Ornithine decarboxylase antizyme finder (OAF): Fast and reliable detection of antizymes with frameshifts in mRNAs
Background: Ornithine decarboxylase antizymes are proteins which negatively regulate cellular polyamine levels via their affects on polyamine synthesis and cellular uptake. In vir...
Michaël Bekaert, Ivaylo P. Ivanov, John F. At...
106
Voted
IJCV
2006
94views more  IJCV 2006»
15 years 18 days ago
Four Points in Two or Three Calibrated Views: Theory and Practice
Suppose two perspective views of four world points are given and that the intrinsic parameters are known but the camera poses and the world point positions are not. We prove that t...
David Nistér, Frederik Schaffalitzky