1431 search results - page 231 / 287 » Solving Constraints in Model Transformations |
91
Voted
AADEBUG
1997
Springer
15 years 4 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
EATIS
2007
ACM
15 years 4 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
88
Voted
COR
2007
15 years 16 days ago
2007
This work is concerned with the efficient design of a reverse logistics network using an extended version of models currently found in the literature. Those traditional, basic mo...
111
Voted
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper presents a bottom-up tracking algorithm for surveillance applications where speed and reliability in the case of multiple matches and occlusions are major concerns. The...
127
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents a unified model for image editing in terms of Sparse Matrix-Vector (SpMV) multiplication. In our framework, we cast image editing as a linear energy minimizat...