2440 search results - page 364 / 488 » Explanation-Based Feature Construction |
123
click to vote
GPCE
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
162
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
We will discuss here the theoretical, social, technological and practical issues related to quality aspects of software patterns including security and safety aspects. The worksho...
149
click to vote
SARA
2009
Springer
15 years 9 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
160
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
We introduce an Eulerian liquid simulation framework based on the Voronoi diagram of a potentially unorganized collection of pressure samples. Constructing the simulation mesh in ...
118
click to vote
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
The design of ad hoc mobile applications often requires the availability of a consistent view of the application state among the participating hosts. Such views are important beca...