588 search results - page 14 / 118 » Positive higher-order queries |
GLOBECOM
2007
IEEE
14 years 5 months ago
2007
IEEE
—Bloom filters allow membership queries over sets with allowable errors. It is widely used in databases, networks and distributed systems and it has great potential for distribut...
TPHOL
2009
IEEE
14 years 5 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
ICIP
1999
IEEE
14 years 3 months ago
1999
IEEE
We have been developing a stochastic model for figure-ground separation[9][3][12]. The model selects/constructs theforeground with preferenceforfigures with "moreconvex"...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
While higher order ambisonic approaches can be used to generate multiple zone soundfields, this paper adopts a Least Squares matching approach which provides a more flexible formu...
VLDB
1989
ACM
14 years 3 months ago
1989
ACM
Graphical Direct Manipulation (GrDM) query languagesare characterized and positioned with respect to traditional textual query languages. After a brief survey of the current state...