7393 search results - page 1069 / 1479 » Synthesis-for-testability using transformations |
167
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
163
click to vote
CGF
2008
15 years 4 months ago
2008
We present a novel approach to parameterize a mesh with disk topology to the plane in a shape-preserving manner. Our key contribution is a local/global algorithm, which combines a...
180
click to vote
CVIU
2010
15 years 4 months ago
2010
Most multi-camera systems assume a well structured environment to detect and track objects across cameras. Cameras need to be fixed and calibrated, or only objects within a traini...
181
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Protein structural data has increased exponentially, such that fast and accurate tools are necessary to access structure similarity search. To improve the search speed...
149
click to vote
JUCS
2006
15 years 4 months ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...