3604 search results - page 423 / 721 » All Common Subsequences |
161
click to vote
SAMT
2007
Springer
16 years 22 days ago
2007
Springer
This paper proposes a new stopping criterion for automatic image segmentation based on region merging. The criterion is dependent on image content itself and when combined with the...
174
click to vote
STACS
2007
Springer
16 years 22 days ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
184
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
180
click to vote
TCC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We establish new lower bounds and impossibility results for noninteractive zero-knowledge proofs and arguments with set-up assumptions. – For the common random string m...
173
click to vote
UM
2007
Springer
16 years 21 days ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...