1306 search results - page 79 / 262 » A Diagrammatic Approach to Model Completion |
122
Voted
SCESM
2006
ACM
15 years 6 months 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 ...
117
Voted
BMCBI
2004
15 years 14 days 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...
119
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...
120
click to vote
BMCBI
2006
15 years 20 days 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...
115
click to vote
IEE
2008
15 years 20 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...