873 search results - page 46 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
134
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
144
click to vote
SYRCODIS
2008
15 years 7 months ago
2008
ETL process evolution is investigated below. A model-driven approach to templates and ETL process evolution problem is developed. We suppose that the ETL process evolution probain...
160
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The principles of protein folding and evolution pose problems of very high inherent complexity. Often these problems are tackled using simplified protein models, e.g. ...
165
click to vote
JCST
2008
15 years 6 months ago
2008
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
180
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. There has been much effort invested in increasing the robustness of human body tracking by incorporating motion models. Most approaches are probabilistic in nature and se...