Sciweavers

4324 search results - page 299 / 865
» A Generalized Representer Theorem
Sort
View
ICCAD
1998
IEEE
82views Hardware» more  ICCAD 1998»
15 years 11 months ago
Symbolic model checking of process networks using interval diagram techniques
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
Karsten Strehl, Lothar Thiele
ATAL
2007
Springer
15 years 10 months ago
Planning and defeasible reasoning
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
Diego R. García, Alejandro Javier Garc&iacu...
169
Voted
AAAI
2007
15 years 9 months ago
Learning Voting Trees
Binary voting trees provide a succinct representation for a large and prominent class of voting rules. In this paper, we investigate the PAC-learnability of this class of rules. W...
Ariel D. Procaccia, Aviv Zohar, Yoni Peleg, Jeffre...
DAGSTUHL
2007
15 years 8 months ago
Multidamping simulation framework for link-based ranking
We outline an approach for re-interpreting methods for ranking web pages based on interesting recent work on matrix power series representations for PageRank and its variants, such...
Giorgios Kollias, Efstratios Gallopoulos
ICMLA
2008
15 years 8 months ago
A Predictive Model for Imitation Learning in Partially Observable Environments
Learning by imitation has shown to be a powerful paradigm for automated learning in autonomous robots. This paper presents a general framework of learning by imitation for stochas...
Abdeslam Boularias