3742 search results - page 348 / 749 » On the Use of Formal Techniques for Validation |
147
click to vote
DEBU
2008
15 years 6 months ago
2008
Oracle Berkeley DB is a family of database engines that provide high performance, transactional data management on a wide variety of platforms. Berkeley DB products are available ...
155
click to vote
JASSS
1998
15 years 6 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
169
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Feature-based image matching relies on the assumption that the features contained in the model are distinctive enough. When both model and data present a sizeable amount of clutte...
177
click to vote
VC
2010
15 years 5 months ago
2010
We propose a novel method to reconstruct B-spline surfaces from generalized cylindrical meshes by skinning. Skinning is a well known surface creation technique and has been used i...
192
click to vote
EMISA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. When assessing the usability of BPM technologies enterprises have to rely on vendor promises or qualitative data rather than on empirical or experimental research. To add...