1431 search results - page 176 / 287 » Solving Constraints in Model Transformations |
116
click to vote
ISSTA
2009
ACM
15 years 7 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 ...
117
Voted
SIAMAM
2011
14 years 7 months ago
2011
Trace gas sensors that are compact and portable are being deployed for use in a variety of applications including disease diagnosis via breath analysis, monitoring of atmospheric p...
106
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
125
click to vote
CVPR
2003
IEEE
16 years 2 months ago
2003
IEEE
This paper compares two methods for object localization from contours: shape context and chamfer matching of templates. In the light of our experiments, we suggest improvements to...
204
Voted
SIGMOD
2007
ACM
16 years 25 days ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...