Sciweavers

7861 search results - page 1312 / 1573
» Orthographic Modeling Environment
Sort
View
KBSE
2008
IEEE
16 years 1 months ago
The Consistency of Web Conversations
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
Jeffrey Fischer, Rupak Majumdar, Francesco Sorrent...
SMI
2008
IEEE
116views Image Analysis» more  SMI 2008»
16 years 1 months ago
Self-organizing primitives for automated shape composition
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
Linge Bai, Manolya Eyiyurekli, David E. Breen
ACIVS
2008
Springer
16 years 1 months ago
Geodesic Active Contours with Combined Shape and Appearance Priors
We present a new object segmentation method that is based on geodesic active contours with combined shape and appearance priors. It is known that using shape priors can significan...
Rami Ben-Ari, Dror Aiger
ADAEUROPE
2008
Springer
16 years 1 months ago
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
Patricia López Martínez, José...
ADBIS
2008
Springer
219views Database» more  ADBIS 2008»
16 years 1 months ago
Data Stream Analysis for Location-Aware Collaborative Information Retrieval
Abstract. We propose a new approach for enhancing collaborative information retrieval by means of incorporating positional data for a location-aware personalized retrieval process....
Andreas Behrend, Frank Reichartz, Christian Dorau,...
« Prev « First page 1312 / 1573 Last » Next »