3146 search results - page 325 / 630 » Efficient Consequence Finding |
134
Voted
RELMICS
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a novel approach to the problem of finding all subgraph isomorphisms of a (pattern) graph into another (target) graph. A relational formulation of the problem, ...
133
click to vote
GIS
1997
ACM
15 years 8 months ago
1997
ACM
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involve...
167
Voted
CRYPTO
1991
Springer
15 years 8 months ago
1991
Springer
Our purpose is to describe elliptic curves with complex multiplication which in characteristic 2 have the following useful properties for constructing Diffie-HeUman type cryptosys...
113
click to vote
ICPP
1987
IEEE
15 years 8 months ago
1987
IEEE
Abstract. We address the problem of designing and building efficient custom Vl.Sl-besed processors to do computations on large multi-dimensional lattices. The design tradeoffs for ...
116
click to vote
AIPS
2010
15 years 6 months ago
2010
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...