6104 search results - page 958 / 1221 » Constructing Information Bases Using Associative Structures |
233
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
Database search for images containing icons with specific mutual spatial relationships can be facilitated by an appropriately structured index. For the case of images containing s...
129
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
199
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
125
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—A text filtering system monitors a stream of incoming documents, to identify those that match the interest profiles of its users. The user interests are registered at ...
127
click to vote
BIRTHDAY
2009
Springer
15 years 11 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...