460 search results - page 87 / 92 » On Role Logic |
115
Voted
SIPS
2006
IEEE
15 years 6 months ago
2006
IEEE
: Molecular electronics is commonly conceived as reproducing diode or transistor action at the molecular level. The quantum-dot cellular automata (QCA) approach offers an attractiv...
138
click to vote
CCA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
109
Voted
ICIP
1998
IEEE
16 years 1 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
107
click to vote
PODS
2004
ACM
16 years 11 days ago
2004
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
107
Voted
ICFP
2008
ACM
16 years 6 days ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...