3468 search results - page 454 / 694 » An open logical framework |
171
click to vote
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
Next generation applications and architectures (for example, Grids) are driving radical changes in the nature of traffic, service models, technology, and cost, creating opportunit...
142
click to vote
AI
2002
Springer
15 years 3 months ago
2002
Springer
This article surveys three techniques for enhancing heuristic game-tree search pioneered in the author's Othello program Logistello, which dominated the computer Othello scen...
228
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple...
238
click to vote
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper explores an inherent tension in modeling and querying uncertain data: simple, intuitive representations of uncertain data capture many application requirements, but the...
133
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...