Sciweavers

4743 search results - page 348 / 949
» The PlusCal Algorithm Language
Sort
View
ENTCS
2008
142views more  ENTCS 2008»
15 years 4 months ago
Worst Case Reaction Time Analysis of Concurrent Reactive Programs
Reactive programs have to react continuously to their inputs. Here the time needed to react with the according output is important. While the synchrony hypothesis takes the view t...
Marian Boldt, Claus Traulsen, Reinhard von Hanxled...
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 4 months ago
VXA: A Virtual Architecture for Durable Compressed Archives
Data compression algorithms change frequently, and obsolete decoders do not always run on new hardware and operating systems, threatening the long-term usability of content archiv...
Bryan Ford
IJAC
2008
84views more  IJAC 2008»
15 years 4 months ago
Groups whose Geodesics are Locally Testable
Abstract. A regular set of words is (k-)locally testable if membership of a word in the set is determined by the nature of its subwords of some bounded length k. In this article we...
Susan M. Hermiller, Derek F. Holt, Sarah Rees
IR
2008
15 years 4 months ago
Negation recognition in medical narrative reports
Substantial medical data, such as discharge summaries and operative reports are stored in electronic textual form. Databases containing free-text clinical narratives reports often...
Lior Rokach, Roni Romano, Oded Maimon
GRAMMARS
2002
119views more  GRAMMARS 2002»
15 years 4 months ago
Computational Complexity of Probabilistic Disambiguation
Recent models of natural language processing employ statistical reasoning for dealing with the ambiguity of formal grammars. In this approach, statistics, concerning the various li...
Khalil Sima'an