1016 search results - page 176 / 204 » Evaluation of Expression Recognition Techniques |
141
Voted
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
149
click to vote
ASM
2008
ASM
15 years 3 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
124
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Both Topic Maps and RDF are popular semantic web standards designed for machine processing of web documents. Since these representations were originally created for different purpo...
86
Voted
USITS
2003
15 years 3 months ago
2003
We present Scriptroute, a system that allows ordinary Internet users to conduct network measurements from remote vantage points. We seek to combine the flexibility found in dedic...
106
click to vote
ESM
2000
15 years 3 months ago
2000
The classical method of evaluation of simulations surely is the batch means method, see e.g. [Bratley et al. 1987], giving confidence intervals to express the precision of the sim...