1268 search results - page 153 / 254 » One Logic to Use Them All |
115
Voted
MVA
1996
15 years 2 months ago
1996
To use photographs in visual simulation such as synthesizing new images by overlapping an object in an image onto the other, physically significant regions corresponding to object...
101
Voted
CCR
2004
15 years 21 days ago
2004
The IP address consumption and the global routing table size are two of the vital parameters of the Internet growth. In this paper we quantitatively characterize the IPv4 address ...
125
Voted
CIKM
2011
Springer
14 years 24 days ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
109
click to vote
PODS
2008
ACM
16 years 29 days ago
2008
ACM
In this study we propose sketching algorithms for computing similarities between hierarchical data. Specifically, we look at data objects that are represented using leaf-labeled t...
128
Voted
LOGCOM
2010
14 years 11 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...