2503 search results - page 134 / 501 » A study of 3-arc graphs |
198
click to vote
APN
2007
Springer
16 years 14 days ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
154
click to vote
CIE
2007
Springer
16 years 14 days ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
163
click to vote
CONTEXT
2007
Springer
16 years 13 days ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
143
Voted
SAT
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. In this paper we study NP-hard weighted satisfiability optimization problems for the class 2-CNF providing worst-case upper time bounds. Moreover we consider the monoton...
188
click to vote
SLS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This work presents an algorithm for the sub-graph isomorphism problem based on a new pruning technique for directed graphs. During the tree search, the method checks if a...