Sciweavers

10072 search results - page 253 / 2015
» Composition of Model Programs
Sort
View
CLIMA
2004
15 years 8 months ago
Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
Martin Homola
COCO
2005
Springer
72views Algorithms» more  COCO 2005»
16 years 4 days ago
Toward a Model for Backtracking and Dynamic Programming
We propose a model called priority branching trees (pBT ) for backtracking and dynamic programming algorithms. Our model generalizes both the priority model of Borodin, Nielson an...
Michael Alekhnovich, Allan Borodin, Joshua Buresh-...
PODC
1999
ACM
15 years 11 months ago
Dynamically Configurable Distributed Objects
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
Michael J. Lewis, Andrew S. Grimshaw
DEBU
2008
100views more  DEBU 2008»
15 years 6 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
SCIA
2007
Springer
178views Image Analysis» more  SCIA 2007»
16 years 21 days ago
Occluded Facial Expression Tracking
The work presented here takes place in the field of computer aided analysis of facial expressions displayed in sign language videos. We use Active Appearance Models to model a fac...
Hugo Mercier, Julien Peyras, Patrice Dalle