282
click to vote
NOSSDAV
15 years 9 months ago
1991 Springer 
: We have developed a real-time operating system kernel which has been used to support the transmission and reception of streams of live digital audio and video in real-time as par...
270
click to vote
NIL
15 years 9 months ago
1991 
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.
258
click to vote
SIGLEX
15 years 9 months ago
1991 
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
255
Voted
SIGLEX
15 years 9 months ago
1991  |
All Subjects