1306 search results - page 79 / 262 » A Diagrammatic Approach to Model Completion |
183
click to vote
SCESM
2006
ACM
16 years 4 days ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
182
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Hidden Markov Models (HMMs) have proven very useful in computational biology for such applications as sequence pattern matching, gene-finding, and structure prediction...
185
click to vote
AMFG
2007
IEEE
16 years 16 days 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...
180
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: In order to improve gene prediction, extrinsic evidence on the gene structure can be collected from various sources of information such as genome-genome comparisons an...
170
click to vote
IEE
2008
15 years 6 months 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...