742 search results - page 103 / 149 » Order Structure, Correspondence, and Shape Based Categories |
ITICSE
2004
ACM
14 years 2 months ago
2004
ACM
SQL (Structured Query Language) is one of the essential topics in foundation databases courses in higher education. Due to its apparent simple syntax, learning to use the full pow...
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
DOLAP
2004
ACM
14 years 2 months ago
2004
ACM
BST Condensed Cube is a fully computed cube that condenses those tuples, which are aggregated from the same single base relation tuple, into one physical tuple. Although it has be...
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we propose a novel nonparametric approach
for object recognition and scene parsing using dense
scene alignment. Given an input image, we retrieve its best
matches ...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...