Sciweavers

1700 search results - page 66 / 340
» Specifying and implementing refactorings
Sort
View
AAAI
1996
15 years 5 months ago
Trajectory Constraints in Qualitative Simulation
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
Giorgio Brajnik, Daniel J. Clancy
CI
2004
85views more  CI 2004»
15 years 4 months ago
Soft Constraint Propagation and Solving in Constraint Handling Rules
Soft constraints are a generalization of classical constraints, which allow for the description of preferences rather than strict requirements. In soft constraints, constraints and...
Stefano Bistarelli, Thom W. Frühwirth, Michae...
IJSEKE
2002
95views more  IJSEKE 2002»
15 years 4 months ago
A Multimedia Model Based on Structured Media and Sub-Elements for Complex Multimedia Authoring and Presentation
through the specification of temporal, spatial and spatio-temporal relations. Moreover, we propose an abstract animation model that can be combined with the intra-media temporal st...
Tran-Thuong Tien, Cécile Roisin
SAC
2002
ACM
15 years 4 months ago
Soft constraint propagation and solving in CHRs
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
Stefano Bistarelli, Thom W. Frühwirth, Michae...
IPPS
2006
IEEE
15 years 10 months ago
Algorithmic skeletons for stream programming in embedded heterogeneous parallel image processing applications
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
Wouter Caarls, Pieter P. Jonker, Henk Corporaal