1232 search results - page 34 / 247 » Digraphs: theory, algorithms and applications |
124
click to vote
SCL
2008
15 years 6 months ago
2008
We observe that successive applications of known results from the theory of positive systems lead to an efficient general algorithm for positive realizations of transfer functions...
136
click to vote
JCO
2008
15 years 6 months ago
2008
Abstract Group testing, sometimes called pooling design, has been applied to a variety of problems such as blood testing, multiple access communication, coding theory, among others...
121
click to vote
IJCAI
2003
15 years 7 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
143
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
178
click to vote
AGP
1997
IEEE
15 years 10 months ago
1997
IEEE
We propose an algorithm for learning abductive logic programs from examples. We consider the Abductive Concept Learning framework, an extension of the Inductive Logic Programming ...