1981 search results - page 48 / 397 » Model-Checking Hierarchical Structures |
BMCBI
2008
13 years 9 months ago
2008
Background: Identification of approximate tandem repeats is an important task of broad significance and still remains a challenging problem of computational genomics. Often there ...
LICS
2000
IEEE
14 years 1 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
GECCO
2007
Springer
14 years 20 days ago
2007
Springer
The development of coherent and dynamic behaviors for mobile robots is an exceedingly complex endeavor ruled by task objectives, environmental dynamics and the interactions within...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a method towards automatic structural synthesis of analog multiplier based on a hierarchilogy “super-topology”, which is abstracted from the most standard ...
RECOMB
1998
Springer
14 years 1 months ago
1998
Springer
The task of computing molecular structure from combinations of experimental and theoretical constraints is expensive because of the large number of estimated parameters (the 3D co...