Sciweavers

2841 search results - page 98 / 569
» A Call to Order
Sort
View
AUSAI
2006
Springer
15 years 1 months ago
Hardware Implementation of Temporal Nonmonotonic Logics
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
Insu Song, Guido Governatori
ICGI
2000
Springer
15 years 1 months ago
Constructive Learning of Context-Free Languages with a Subpansive Tree
A subpansive tree is a rooted tree that gives a partial order of nonterminal symbols of a context-free grammar. We formalize subpansive trees as background knowledge of CFGs, and i...
Noriko Sugimoto, Takashi Toyoshima, Shinichi Shimo...
SPIN
2000
Springer
15 years 1 months ago
Runtime Checking of Multithreaded Applications with Visual Threads
Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq's customers need to employ threads to implement high-performanc...
Jerry J. Harrow
LREC
2010
146views Education» more  LREC 2010»
14 years 11 months ago
Deep Linguistic Processing with GETARUNS for Spoken Dialogue Understanding
In this paper we will present work carried out to scale up the system for text understanding called GETARUNS, and port it to be used in dialogue understanding. The current goal is...
Rodolfo Delmonte, Antonella Bristot, Vincenzo Pall...
NIPS
2008
14 years 11 months ago
On Bootstrapping the ROC Curve
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...
Patrice Bertail, Stéphan Clémen&cced...