2911 search results - page 482 / 583 » A Logic of Graph Constraints |
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...
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...
185
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...
143
click to vote
CIMCA
2006
IEEE
16 years 7 days ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...