759 search results - page 61 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
107
click to vote
GLVLSI
2009
IEEE
15 years 4 months ago
2009
IEEE
Design debug remains one of the major bottlenecks in the VLSI design cycle today. Existing automated solutions strive to aid engineers in reducing the debug effort by identifying ...
140
Voted
BMCBI
2010
15 years 24 days ago
2010
Background: Natural selection eliminates detrimental and favors advantageous phenotypes. This process leaves characteristic signatures in underlying genomic segments that can be r...
120
Voted
AMFG
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract. This paper describes a model-assisted system for reconstruction of 3D faces from a single consumer quality camera using a structure from motion approach. Typical multi-vi...
115
click to vote
IEE
2008
15 years 22 days ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
128
Voted
BMCBI
2004
15 years 16 days ago
2004
Background: An important challenge for transcript counting methods such as Serial Analysis of Gene Expression (SAGE), "Digital Northern" or Massively Parallel Signature ...