Sciweavers

11063 search results - page 95 / 2213
» On the existence of universal models
Sort
View
ICWS
2007
IEEE
13 years 11 months ago
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...
Saayan Mitra, Ratnesh Kumar, Samik Basu

Publication
1462views
15 years 9 months ago
Statistical Models of Appearance for Computer Vision
A great technical report describing the work of T.F. Cootes and C.J.Taylor in the area of Active Shape Models and Active Appearance Models.
T.F. Cootes, C.J.Taylor
COORDINATION
2000
Springer
14 years 1 months ago
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces
Abstract. Tuple spaces have turned out to be one of the most fundamental abstractions for coordinating communicating agents. At the same time, researchers continue to propose new v...
Stéphane Ducasse, Thomas Hofmann, Oscar Nie...
CSEE
2009
Springer
14 years 4 months ago
IT SPIRAL: A Case Study in Scalable Software Engineering Education
IT SPIRAL is a collaborative project by nine universities and four industries to develop a common curriculum for teaching software engineering. It combines existing foundation edu...
Michael Barker, Katsuro Inoue
AGP
1994
IEEE
14 years 2 months ago
An Abstract Interpretation Framework for (almost) Full Prolog
act Interpretation Framework for (almost) Full Prolog1 B. Le Charlier S. Rossi P. Van Hentenryck University of Namur University of Padova Brown University 21 rue Grandgagnage 7 via...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...