3818 search results - page 601 / 764 » Learning from Order Examples |
186
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
214
click to vote
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
154
click to vote
ISMM
2009
Springer
16 years 1 months ago
2009
Springer
In order to describe anisotropy in image processing models or physical measurements, matrix fields are a suitable choice. In diffusion tensor magnetic resonance imaging (DT-MRI),...
171
click to vote
TAP
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
152
click to vote
ICST
2008
IEEE
16 years 25 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...