658 search results - page 113 / 132 » A Logic for Graphs with QoS |
144
click to vote
LICS
2008
IEEE
16 years 17 days ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
157
click to vote
INFOCOM
2007
IEEE
16 years 14 days ago
2007
IEEE
— We introduce a low-complexity distributed slotted MAC protocol that can support all feasible arrival rates in a wireless backhaul network (WBN). For arbitrary wireless networks...
177
click to vote
FPGA
2007
ACM
16 years 10 days ago
2007
ACM
The application-specific multiprocessor System-on-a-Chip is a promising design alternative because of its high degree of flexibility, short development time, and potentially high ...
163
click to vote
HPCC
2007
Springer
16 years 10 days ago
2007
Springer
The OTIS-Network (also referred to as two-level swapped network) is composed of n clones of an n-node original network constituting its clusters. It has received much attention due...
186
click to vote
ICLP
2007
Springer
16 years 10 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...