11017 search results - page 151 / 2204 » Closure Systems and their Structure |
151
Voted
ADL
2000
Springer
15 years 8 months ago
2000
Springer
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...
129
Voted
EP
1998
Springer
15 years 7 months ago
1998
Springer
We report on the design and implementation of a system which automates the process of capturing structured documents from the optically recognized form of printed materials. The sy...
125
Voted
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
235
Voted
AIFIPP
1992
15 years 4 months ago
1992
We have for several years been working on an approach to knowledge system building that argues for the existence of a close connection between the tasks which the knowledge system ...
111
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...