819 search results - page 109 / 164 » Using Assumptions to Distribute CTL Model Checking |
150
Voted
DAGM
2011
Springer
14 years 13 days ago
2011
Springer
Many unsupervised learning algorithms make use of kernels that rely on the Euclidean distance between two samples. However, the Euclidean distance is optimal for Gaussian distribut...
100
click to vote
ISER
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
PAMI
2006
15 years 16 days ago
2006
This paper presents a family of techniques that we call congealing for modeling image classes from data. The idea is to start with a set of images and make them appear as similar a...
127
click to vote
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
91
Voted
MEMOCODE
2006
IEEE
15 years 6 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...