4555 search results - page 789 / 911 » Deductive Algorithmic Knowledge |
154
click to vote
INFOCOM
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract—We present a distributed routing algorithm for finding two disjoint (primary and backup) QoS paths that run across multiple domains. Our work is inspired by the recent ...
172
click to vote
ISVLSI
2007
IEEE
16 years 20 days ago
2007
IEEE
— Y -interconnects for VLSI chips are based on the use of global and semi-global wiring in only 0◦ , 60◦ , and 120◦ . Though X-interconnects are fast replacing the traditio...
175
click to vote
CADE
2007
Springer
16 years 17 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
211
click to vote
IPSN
2007
Springer
16 years 16 days ago
2007
Springer
We study the problem of aggregating data from a sparse set of nodes in a wireless sensor network. This is a common situation when a sensor network is deployed to detect relatively...
155
click to vote
CLUSTER
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents a middleware framework for storing, accessing and analyzing massive-scale semantic graphs. The framework, MSSG, targets scale-free semantic graphs with O(1012 ...