Sciweavers

319 search results - page 49 / 64
» Precise Dynamic Slicing Algorithms
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 6 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
CSB
2003
IEEE
15 years 5 months ago
A New Approach for Gene Annotation Using Unambiguous Sequence Joining
The problem addressed by this paper is accurate and automatic gene annotation following precise identification/annotation of exon and intron boundaries of biologically verified ...
Alexandre Tchourbanov, Daniel Quest, Hesham H. Ali...
CDC
2009
IEEE
225views Control Systems» more  CDC 2009»
15 years 4 months ago
High performance adaptive robust control for nonlinear system with unknown input backlash
—A high performance adaptive robust control (ARC) algorithm is developed for a class of nonlinear system with unknown input backlash, parametric uncertainties and uncertain nonli...
Jian Guo, Bin Yao, Qingwei Chen, Xiaobei Wu
SIGIR
2008
ACM
14 years 11 months ago
To tag or not to tag -: harvesting adjacent metadata in large-scale tagging systems
We present HAMLET, a suite of principles, scoring models and algorithms to automatically propagate metadata along edges in a document neighborhood. As a showcase scenario we consi...
Adriana Budura, Sebastian Michel, Philippe Cudr&ea...
CGF
2002
168views more  CGF 2002»
14 years 11 months ago
Fast Continuous Collision Detection between Rigid Bodies
This paper introduces a fast continuous collision detection technique for polyhedral rigid bodies. As opposed to most collision detection techniques, the computation of the first ...
Stephane Redon, Abderrahmane Kheddar, Sabine Coqui...