4485 search results - page 458 / 897 » Equivalences on Observable Processes |
166
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The lip-region can be interpreted as either a genetic or behavioural biometric trait depending on whether static or dynamic information is used. In this paper, we use a texture de...
211
click to vote
SDM
2011
SIAM
14 years 9 months ago
2011
SIAM
A nonparametric Bayesian approach to co-clustering ensembles is presented. Similar to clustering ensembles, coclustering ensembles combine various base co-clustering results to ob...
231
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we propose an efficient technique to detect changes in the geometry of an urban environment using some images observing its current state. The proposed method can ...
227
click to vote
IWLCS
2005
Springer
16 years 11 days ago
2005
Springer
Aiming to clarify the convergence or divergence conditions for Learning Classifier System (LCS), this paper explores: (1) an extreme condition where the reinforcement process of ...
157
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...