Sciweavers

4708 search results - page 789 / 942
» Generating the Structure of Argument
Sort
View
144
Voted
IJAIT
2000
142views more  IJAIT 2000»
15 years 4 months ago
Adequacy of Limited Testing for Knowledge Based Systems
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
Tim Menzies, Bojan Cukic
150
Voted
JIIS
2000
120views more  JIIS 2000»
15 years 4 months ago
Machine Learning for Intelligent Processing of Printed Documents
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 ...
Floriana Esposito, Donato Malerba, Francesca A. Li...
RCC
2000
113views more  RCC 2000»
15 years 4 months ago
The Aristotle Approach to Open Hypermedia
Large-scale distributed hypermedia systems comprise a generation of powerful tools to meet the demands of the new information globalization era. The most promising of such systems...
Costas Petrou, Drakoulis Martakos, Michael Hatzopo...
130
Voted
AR
1998
124views more  AR 1998»
15 years 4 months ago
The CMUnited-98 champion small-robot team
Robotic soccer presents a large spectrum of challenging research opportunities. In this article, we present the main research and technical contributions of our champion CMUnited-...
Manuela M. Veloso, Michael H. Bowling, Peter Stone
CC
1998
Springer
100views System Software» more  CC 1998»
15 years 4 months ago
Symmetric Alternation Captures BPP
We introduce the natural class SP 2 containing those languages which may be expressed in terms of two symmetric quanti ers. This class lies between P 2 and P 2 P 2 and naturall...
Alexander Russell, Ravi Sundaram