1809 search results - page 214 / 362 » Software Model Checking Using Linear Constraints |
108
click to vote
ICSM
2008
IEEE
15 years 8 months ago
2008
IEEE
Test-case prioritization is a typical scenario of regression testing, which plays an important role in software maintenance. With the popularity of Web Services, integrating Web S...
138
click to vote
TIP
2008
15 years 2 months ago
2008
We consider the problem of recognizing 3-D objects from 2-D images using geometric models and assuming different viewing angles and positions. Our goal is to recognize and localize...
124
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
121
click to vote
IMAGING
2004
15 years 3 months ago
2004
A Bayesian method of generating color correction matrices for digital image sensors is presented. This method was developed for sensors with poor colorimetric quality, and uses st...
102
click to vote
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...