6355 search results - page 1151 / 1271 » From Logic to Games |
174
click to vote
JIIS
2000
15 years 6 months ago
2000
Abstract. A paper document processing system is an information system component which transforms information on printed or handwritten documents into a computer-revisable form. In ...
138
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
169
click to vote
IBMSJ
1998
15 years 6 months ago
1998
Millions of small heterogeneous computers are poised to spread into the infrastructure of our society. Though mostly inconspicuous today, disguised as nothing more than PIM (perso...
173
click to vote
JANCL
2002
15 years 6 months ago
2002
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is ...
187
click to vote
CN
1999
15 years 6 months ago
1999
ZUser mobility poses a significant technical challenge to network resource management in wireless ATM Asynchronous . Z .Transfer Mode networks. In order to guarantee quality of se...