1350 search results - page 76 / 270 » Reasoning about Staged Computation |
133
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
A biometric identification procedure usually contains two stages: registration and authentication. Most biometric systems capture multiple samples of the same biometric trait (e.g...
158
click to vote
ACMDIS
2006
ACM
15 years 11 months ago
2006
ACM
Conceptual design dominates the early stages of most creative design processes. During these stages, the designer makes important decisions about the parameters of a model that ar...
106
Voted
CCGRID
2003
IEEE
15 years 10 months ago
2003
IEEE
Agent-oriented software is promising improvements especially for the design of distributed systems. But currently, there is a substantial gap between the massive number of publica...
175
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
171
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...