623 search results - page 65 / 125 » An Empirical Study of Query Specificity |
PADL
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
BPM
2009
Springer
14 years 3 months ago
2009
Springer
The effect of using automated auditing tools to detect compliance failures in unmanaged business processes is investigated. In the absence of a process execution engine, compliance...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
We present an empirical study aimed at analysing the use of viewpoints in an industrial Concurrent Engineering context. Our focus is on the viewpoints expressed in the argumentativ...
COGSCI
2004
13 years 9 months ago
2004
A central issue in bilingual research concerns the extent to which linguistic representations in the two languages are processed independently of each other. This paper reports th...
EC
1998
13 years 8 months ago
1998
This paper analyzes different representations for permutation flowshop problems. This is done using forma analysis to assess the quality of these representations with respect to m...