3630 search results - page 133 / 726 » How to Compare Treebanks |
193
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
183
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
Object-oriented system development is wideley recognized as improving productivity and reducing system maintenance costs. However, existing approaches have not su ciently addresse...
186
Voted
ESOP
1992
Springer
15 years 11 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
176
click to vote
ISCA
1989
IEEE
15 years 11 months ago
1989
IEEE
: We explore the question: “What can a von Neumann processor borrow from dataflow to make it more suitable for a multiprocessor?’’ Starting with a simple, “RISC-like” ins...
155
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper is based on a comparative study of venues that provide public access to information and communication technologies in 25 countries. We study how diverse people can and ...