1860 search results - page 159 / 372 » A Temporal Logic of Robustness |
118
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose a pixel similarity-based algorithm enabling accurate rigid registration between single and multimodal images presenting gross dissimilarities due to noise, missing data...
111
Voted
NN
1998
Springer
15 years 13 days ago
1998
Springer
Learning long-term temporal dependencies with recurrent neural networks can be a difficult problem. It has recently been shown that a class of recurrent neural networks called NA...
95
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
ENTCS
2007
15 years 22 days ago
2007
Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggr...
109
click to vote
CVPR
2006
IEEE
16 years 2 months ago
2006
IEEE
In this paper we consider the problem of segmenting multiple rigid motions using multi?frame point correspondence data. The main idea of the method is to group points according to...