Sciweavers

770 search results - page 3 / 154
» Modes of Correspondence between Information System and World
Sort
View
PADL
2004
Springer
13 years 11 months ago
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
José F. Morales, Manuel Carro, Manuel V. He...
JCST
2000
124views more  JCST 2000»
13 years 6 months ago
Distributed and Cooperative Information Retrieval on the World Wide Web
: A mass of heterogeneous, distributed and dynamic information on the World Wide Web (the Web) has resulted in "information overload". It's an important and urgent r...
Jicheng Wang, Xiangyu Jin, Yang Xiaojiang, Fuyan Z...
EUROPKI
2009
Springer
13 years 4 months ago
ABUSE: PKI for Real-World Email Trust
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
Chris Masone, Sean W. Smith
KNINVI
2005
Springer
13 years 12 months ago
Representational Correspondence as a Basic Principle of Diagram Design
The timeworn claim that a picture is worth a thousand words is generally well-supported by empirical evidence, suggesting that diagrams and other information graphics can enhance h...
Christopher F. Chabris, Stephen M. Kosslyn
DILS
2005
Springer
13 years 12 months ago
Semantic Correspondence in Federated Life Science Data Integration Systems
For execution of complex biological queries, data integration systems often use several intermediate data sources because the domain coverage of individual sources is limited. Qual...
Malika Mahoui, Harshad Kulkarni, Nianhua Li, Zina ...