Sciweavers

3575 search results - page 246 / 715
» Modeling Concurrency with Geometry
Sort
View
EDOC
2002
IEEE
15 years 11 months ago
Workflow-Based Composition of Web-Services: A Business Model or a Programming Paradigm?
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
Dinesh Ganesarajah, Emil Lupu
HICSS
1995
IEEE
101views Biometrics» more  HICSS 1995»
15 years 9 months ago
Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
Rainer Weinreich, Reinhold Plösch
FSTTCS
2010
Springer
15 years 4 months ago
ATL with Strategy Contexts: Expressiveness and Model Checking
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
Arnaud Da Costa Lopes, François Laroussinie...
ICCV
2001
IEEE
16 years 8 months ago
Real-Time Feature Tracking and Outlier Rejection with Changes in Illumination
We develop an efficient algorithm to track point features supported by image patches undergoing affine deformations and changes in illumination. The algorithm is based on a combin...
Hailin Jin, Paolo Favaro, Stefano Soatto
ECCV
1990
Springer
16 years 8 months ago
Measurement and Integration of 3-D Structures By Tracking Edge Lines
This paper describes techniques for dynamically modeling the 2-D appearance and 3-D geometry of a scene by integrating information from a moving camera. These techniques are illus...
James L. Crowley, Patrick Stelmaszyk