2585 search results - page 339 / 517 » Automating Coherent Logic |
181
click to vote
ISCA
2007
IEEE
16 years 25 days ago
2007
IEEE
Server consolidation is becoming an increasingly popular technique to manage and utilize systems. This paper develops CMP memory systems for server consolidation where most sharin...
203
click to vote
DLOG
2008
15 years 9 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...
297
click to vote
GIS
2006
ACM
16 years 7 months ago
2006
ACM
The result of a distance join operation on two sets of objects R, S on a spatial network G is a set P of object pairs <p, q>, p R, q S such that the distance of an object ...
178
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
Process Mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms...
175
click to vote
ICCCN
2007
IEEE
16 years 26 days ago
2007
IEEE
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...