5378 search results - page 230 / 1076 » Base Logics in Argumentation |
183
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
104
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
— An elevated central-channel doping with a depth similar to the S/D junctions is proposed as the best measure for simultaneously improving MOSFET device and high speed circuit p...
155
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...
160
click to vote
LREC
2008
15 years 8 months ago
2008
We address the question of which syntactic representation is best suited for role-semantic analysis of English in the FrameNet paradigm. We compare systems based on dependencies a...
233
click to vote
NIPS
2008
15 years 8 months ago
2008
This paper is devoted to thoroughly investigating how to bootstrap the ROC curve, a widely used visual tool for evaluating the accuracy of test/scoring statistics in the bipartite...