12697 search results - page 321 / 2540 » Call for Papers |
190
click to vote
JUCS
2008
15 years 6 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
195
click to vote
FUIN
2007
15 years 6 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
157
click to vote
IEICET
2007
15 years 6 months ago
2007
Estimating the generalization error is one of the key ingredients of supervised learning since a good generalization error estimator can be used for model selection. An unbiased g...
164
click to vote
NPL
2006
15 years 6 months ago
2006
Abstract. In this paper we introduce a new error measure, integrated reconstruction error (IRE) and show that the minimization of IRE leads to principal eigenvectors (without rotat...
148
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
The paper provides a unifying perspective of tree-decomposition algorithms appearing in various automated reasoning areas such as join-tree clustering for constraint-satisfaction ...