7121 search results - page 386 / 1425 » Functions as Session-Typed Processes |
159
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We consider the correspondence problem associated with the non-rigid registration of a group of images; in particular, the theoretical basis for the derivation of the objective fu...
174
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Wrapping is the process of navigating a data source, semiautomatically extracting data and transforming it into a form suitable for data processing applications. There are current...
199
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
157
click to vote
ICTCS
2007
Springer
16 years 27 days ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
165
click to vote
AHS
2006
IEEE
16 years 24 days ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...