1769 search results - page 324 / 354 » An implementation of argument based discussion |
FCCM
2000
IEEE
14 years 1 months ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
APLAS
2000
ACM
14 years 1 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Massively parallel computers are increasingly being used to solve large, I/O intensive applications in many different fields. For such applications, the I/O requirements quite oft...
ISMIR
2000
Springer
14 years 10 days ago
2000
Springer
One major task of a digital music library (DML) is to provide techniques to locate a queried musical pattern in all pieces of music in the database containing that pattern. For a ...
TREC
2004
13 years 10 months ago
2004
The TREC 2004 Terabyte Track evaluated information retrieval in largescale text collections, using a set of 25 million documents (426 GB). This paper gives an overview of our expe...