Sciweavers

3268 search results - page 342 / 654
» Structured Service Composition
Sort
View
ICPR
2002
IEEE
15 years 11 months ago
Multilinear Image Analysis for Facial Recognition
Natural images are the composite consequence of multiple factors related to scene structure, illumination, and imaging. For facial images, the factors include different facial geo...
M. Alex O. Vasilescu, Demetri Terzopoulos
TACS
2001
Springer
15 years 11 months ago
A Spatial Logic for Concurrency
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
Luís Caires, Luca Cardelli
AUSAI
1997
Springer
15 years 10 months ago
On the Relation between Interpreted Systems and Kripke Models
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
Alessio Lomuscio, Mark Ryan
151
Voted
CEAS
2006
Springer
15 years 10 months ago
CC Prediction with Graphical Models
We address the problem of suggesting who to add as an additional recipient (i.e. cc, or carbon copy) for an email under composition. We address the problem using graphical models ...
Chris Pal
BPM
2000
Springer
133views Business» more  BPM 2000»
15 years 10 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst