12981 search results - page 591 / 2597 » Model Checking (Abstract) |
210
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...
221
click to vote
COMPSAC
2002
IEEE
16 years 5 days ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
187
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
174
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
284
click to vote
JUCS
2010
15 years 2 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...