Sciweavers

2296 search results - page 377 / 460
» The Expressive Power of Synchronizations
Sort
View
C5
2004
IEEE
15 years 8 months ago
Croquet: A Menagerie of New User Interfaces
1 A new architecture like Croquet presents numerous opportunities and challenges to create useful interfaces to enable access to the underlying power of the system. In particular, ...
David A. Smith, Andreas Raab, David P. Reed, Alan ...
CGI
2004
IEEE
15 years 8 months ago
Face Recognition Using Computer-Generated Database
Many face database and recognition systems have been constructed in specially designed studios with various illuminations, poses, and expressions. However, none of these databases...
Won-Sook Lee, Kyung-Ah Sohn
ATAL
2006
Springer
15 years 8 months ago
Temporal qualitative coalitional games
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
BPM
2006
Springer
107views Business» more  BPM 2006»
15 years 8 months ago
On the Suitability of BPMN for Business Process Modelling
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
DSN
2004
IEEE
15 years 8 months ago
Model Checking Action- and State-Labelled Markov Chains
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
Christel Baier, Lucia Cloth, Boudewijn R. Haverkor...