1969 search results - page 48 / 394 » Incremental Processing and Acceptability |
88
Voted
HASE
1998
IEEE
15 years 3 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
EMNLP
2007
15 years 12 days ago
2007
Many emerging applications require documents to be repeatedly updated. Such documents include newsfeeds, webpages, and shared community resources such as Wikipedia. In this paper ...
77
Voted
IJCAI
1993
15 years 8 days ago
1993
Traditional algorithms for prime implicate generation [Quine, 1952; McCluskey, 1956; Tison, 1967; Kean and Tsiknis, 1990; de Kleer, 1992] require the input formulas to be first tr...
86
Voted
TEC
2008
14 years 10 months ago
2008
When hypervolume is used as part of the selection or archiving process in a multiobjective evolutionary algorithm, it is necessary to determine which solutions contribute the least...
106
Voted
NIPS
2008
15 years 11 days ago
2008
Language comprehension in humans is significantly constrained by memory, yet rapid, highly incremental, and capable of utilizing a wide range of contextual information to resolve ...