2819 search results - page 226 / 564 » Automatic Structures |
100
click to vote
ACL
2012
13 years 4 months ago
2012
In this work, we introduce the TESLACELAB metric (Translation Evaluation of Sentences with Linear-programming-based Analysis – Character-level Evaluation for Languages with Ambi...
106
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
134
click to vote
IJDAR
2011
14 years 9 months ago
2011
Although publicly-available, ground-truthed corpora have proven useful for training, evaluating, and comparing recognition systems in many domains, the availability of such corpor...
166
Voted
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
113
click to vote
TCAD
1998
15 years 2 months ago
1998
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...