615 search results - page 43 / 123 » Automated Test Case Generation from Dynamic Models |
129
Voted
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
159
click to vote
INFSOF
2011
14 years 9 months ago
2011
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
132
click to vote
NIPS
2007
15 years 3 months ago
2007
Stability is a desirable characteristic for linear dynamical systems, but it is often ignored by algorithms that learn these systems from data. We propose a novel method for learn...
121
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
159
Voted
HCI
2009
15 years 6 days ago
2009
Delivering tailor-made ERP software requires automation of screen and printed report creation to be cost effective. Screens generated directly from data structures tend to have poo...