Sciweavers

1699 search results - page 195 / 340
» A Rule Format for Associativity
Sort
View
WWW
2010
ACM
16 years 1 months ago
Smart caching for web browsers
In modern Web applications, style formatting and layout calculation often account for a substantial amount of local Web page processing time. In this paper1 , we present two novel...
Kaimin Zhang, Lu Wang, Aimin Pan, Bin Benjamin Zhu
BIOSYSTEMS
2008
107views more  BIOSYSTEMS 2008»
15 years 6 months ago
The linearity of emergent spectro-temporal receptive fields in a model of auditory cortex
The responses of cortical neurons are often characterized by measuring their spectro-temporal receptive fields (strfs). The strf of a cell can be thought of as a representation of...
Martin Coath, Emili Balaguer-Ballester, Sue L. Den...
ICFCA
2007
Springer
16 years 21 days ago
A Parameterized Algorithm for Exploring Concept Lattices
Kuznetsov shows that Formal Concept Analysis (FCA) is a natural framework for learning from positive and negative examples. Indeed, the results of learning from positive examples (...
Peggy Cellier, Sébastien Ferré, Oliv...
SEMWEB
2007
Springer
16 years 20 days ago
Uncertain Reasoning for Creating Ontology Mapping on the Semantic Web
Mapping ontologies with high precision on the Semantic Web is a challenging problem that needs to be addressed in various domains. One of the main problems with any mapping process...
Miklos Nagy, Maria Vargas-Vera, Enrico Motta
CSFW
2006
IEEE
16 years 19 days ago
Non-Interference in Constructive Authorization Logic
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
Deepak Garg, Frank Pfenning