1431 search results - page 227 / 287 » Solving Constraints in Model Transformations |
100
click to vote
TAP
2008
Springer
15 years 14 days ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
84
Voted
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a framework to recognizing and recreating folding process of origami based on illustrations of origami drill books. Illustration images acquired from origami ...
120
Voted
CCGRID
2001
IEEE
15 years 4 months ago
2001
IEEE
The Compute Power Market (CPM) is a market-based resource management and job scheduling system for grid computing on Internet-wide computational resources, particularly low-end pe...
127
click to vote
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
The estimation of high-dimensional probability density functions (PDFs) is not an easy task for many image processing applications. The linear models assumed by widely used transf...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Behavioral Signal Processing aims at automating behavioral coding schemes such as those prevalent in psychology and mental health research. This paper describes methods to quantif...