4166 search results - page 370 / 834 » Automating the constraining process |
126
click to vote
SYNASC
2006
IEEE
15 years 10 months ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
139
click to vote
DAS
2004
Springer
15 years 10 months ago
2004
Springer
Despite the current practice of re-keying most documents placed in digital libraries, we continue to try to improve accuracy of automated recognition techniques for obtaining docum...
152
click to vote
CSL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
160
click to vote
GROUP
2007
ACM
15 years 8 months ago
2007
ACM
This work presents experiences with the adopting of a workflow management system in a large financial institution. We describe the gradual evolution of a traditional work process,...
144
click to vote
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
The present paper describes a case-based reasoning solution for solving the task of selecting adequate templates for realizing messages describing actions in a given domain. This s...