7195 search results - page 548 / 1439 » On Computing Power |
200
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
204
click to vote
NIPS
2004
15 years 8 months ago
2004
Given a directed graph in which some of the nodes are labeled, we investigate the question of how to exploit the link structure of the graph to infer the labels of the remaining u...
179
Voted
CDES
2008
15 years 8 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
195
Voted
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a unified approach to evaluating the relative expressive power of process calculi. In particular, we identify a small set of criteria (that have already b...
326
Voted
SPAA
2012
ACM
13 years 9 months ago
2012
ACM
In this paper we study distributed algorithms on massive graphs where links represent a particular relationship between nodes (for instance, nodes may represent phone numbers and ...