7058 search results - page 476 / 1412 » Modelling Business Process Performance |
226
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
212
click to vote
SC
2009
ACM
16 years 9 days ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
215
click to vote
ICIP
2003
IEEE
16 years 9 months ago
2003
IEEE
Facial expression interpretation, recognition and analysis is a key issue in visual communication and man to machine interaction. In this paper, we present a technique for extract...
190
click to vote
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
Several algorithms for learning near-optimal policies in Markov Decision Processes have been analyzed and proven efficient. Empirical results have suggested that Model-based Inter...
171
click to vote
CHI
1996
ACM
15 years 11 months ago
1996
ACM
To measure the productivity gained from computer-based authoring systems, account must be taken of changes in the way the work is organised. An analysis of economists' author...