3630 search results - page 666 / 726 » How to Compare Treebanks |
100
click to vote
ICS
2000
Tsinghua U.
15 years 3 months ago
2000
Tsinghua U.
Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. High-level language and compiler support for developing ...
107
click to vote
ITS
2000
Springer
15 years 3 months ago
2000
Springer
With the rise of VR, the internet, and mobile technologies and the shifts in educational focus from teaching to learning and from solitary to collaborative work, it's easy (bu...
84
Voted
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
SIGGRAPH
1995
ACM
15 years 3 months ago
1995
ACM
We present a method for searching in an image database using a query image that is similar to the intended target. The query image may be a hand-drawn sketch or a (potentially low...
113
click to vote
SIGSOFT
1995
ACM
15 years 3 months ago
1995
ACM
—We conducted a long-term experiment to compare the costs and benefits of several different software inspection methods. These methods were applied by professional developers to ...