12981 search results - page 2350 / 2597 » Model Checking (Abstract) |
143
click to vote
AICCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Workflows are operational business processes. Workfow Management Systems (WFMS) are concerned with the control and coordination of these workflows. In recent years, there...
140
click to vote
AIMSA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Constraint Satisfaction has been widely used to model static combinatorial problems. However, many AI problems are dynamic and take place in a distributed environment, i....
149
click to vote
AISB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The aim of this paper is to try to understand the structure of time in information technologies. Starting with historical arguments, it first shows that time is neither l...
147
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
146
click to vote
ANNPR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Automatic pattern classifiers that allow for on-line incremental learning can adapt internal class models efficiently in response to new information without retraining fr...