Sciweavers

588 search results - page 117 / 118
» Characteristics of geographic information needs
Sort
View
JOCN
2010
71views more  JOCN 2010»
13 years 3 months ago
Transitive Inference: Distinct Contributions of Rostrolateral Prefrontal Cortex and the Hippocampus
■ The capacity to reason about complex information is a central characteristic of human cognition. An important component of many reasoning tasks is the need to integrate multip...
Carter Wendelken, Silvia A. Bunge
DLOG
2009
13 years 3 months ago
Testing Provers on a Grid - Framework Description
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
Carlos Areces, Daniel Gorín, Alejandra Lore...
HCI
2009
13 years 3 months ago
User Interface Adaptation of Web-Based Services on the Semantic Web
Abstract. The Web is constantly evolving into an unprecedented and continuously growing source of knowledge, information and services, potentially accessed at by anyone anytime, an...
Nikolaos Partarakis, Constantina Doulgeraki, Aster...
CCS
2010
ACM
13 years 2 months ago
Practical leakage-resilient pseudorandom generators
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
Yu Yu, François-Xavier Standaert, Olivier P...
BMCBI
2011
13 years 10 days ago
Logical Development of the Cell Ontology
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
Terrence F. Meehan, Anna Maria Masci, Amina Abdull...