9105 search results - page 624 / 1821 » Design of the MUC-6 evaluation |
194
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
204
click to vote
TWC
2011
15 years 2 months ago
2011
—The wide scale deployment of cooperative vehicular ad-hoc networks will require the design of efficient congestion control policies that guarantee stable and reliable communica...
161
click to vote
INTERSPEECH
2010
15 years 2 months ago
2010
The emergence of highly parallel computing platforms is enabling new trade-offs in algorithm design for automatic speech recognition. It naturally motivates the following investig...
158
click to vote
JAMIA
2010
15 years 2 months ago
2010
Objective Computerized provider order entry (CPOE) has been shown to improve patient safety by reducing medication errors and subsequent adverse drug events (ADEs). Studies demons...
168
Voted
JCIT
2010
15 years 2 months ago
2010
An important and fundamental issue in designing structured peer-to-peer networks is the tradeoff between the number of logical links and the number of hops. We present a flexible ...