2909 search results - page 72 / 582 » Consistency of the theory of contexts |
139
click to vote
BPM
2010
Springer
15 years 7 months ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
138
click to vote
DCG
2006
15 years 6 months ago
2006
This paper gives n-dimensional analogues of the Apollonian circle packings in Parts I and II. Those papers considered circle packings described in terms of their Descartes configur...
134
click to vote
DIS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. State of the art equation discovery systems start the discovery process from scratch, rather than from an initial hypothesis in the space of equations. On the other hand,...
157
click to vote
RTA
1995
Springer
15 years 9 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...
161
click to vote
COGSCI
2004
15 years 6 months ago
2004
Performance in perceptual tasks often improves with practice. This effect is known as `perceptual learning,' and it has been the source of a great deal of interest and debate...