159 search results - page 15 / 32 » expert 2000 |
100
click to vote
KDD
2008
ACM
16 years 6 days ago
2008
ACM
Supervised classification methods have been shown to be very effective for a large number of applications. They require a training data set whose instances are labeled to indicate...
103
click to vote
TSD
2000
Springer
15 years 3 months ago
2000
Springer
The aim of this paper is to describe and evaluate a system that automates a part of the transition from analytical to tectogrammatical tree structures within the Prague Dependency...
107
click to vote
ICCD
2000
IEEE
15 years 3 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
JCD
2000
14 years 11 months ago
2000
Asynchronous, text-based communication is different from most other forms of interchange in important ways. It lacks the full spectrum of visual and audible information that peopl...
ECBS
2000
IEEE
15 years 4 months ago
2000
IEEE
Quantitative techniques have traditionally been used to assess software architectures. We have found that early in the development process there is often insufficient quantitative...