226 search results - page 18 / 46 » Special Issue on Information Explosion |
MKM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
ELPUB
2007
ACM
13 years 11 months ago
2007
ACM
Specialized open access digital collections contain a wealth of valuable resources. However, major academic and research libraries do not always provide access to them, and thus d...
EJC
2006
13 years 8 months ago
2006
With development of knowledge bases (KB) there appeared expert systems that use KBs to support them in decision making process. Decision Support Systems, that are the subject of th...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
For effective management it is necessary to have methods by which management applications can periodically retrieve large volumes of information from network devices. In this work...
HT
2005
ACM
14 years 27 days ago
2005
ACM
The dissemination of information available through the World Wide Web makes universal access more and more important and supports visually disabled people in their everyday life. ...