1382 search results - page 100 / 277 » Formal Analysis of Online Algorithms |
198
click to vote
MOVEP
2000
15 years 9 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
151
click to vote
NAACL
2007
15 years 7 months ago
2007
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...
151
Voted
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
A stochastic model of stroke order variation is proposed and applied to the stroke-order free on-line Kanji character recognition. The proposed model is a hidden Markov model (HMM...
169
click to vote
ISI
2003
Springer
15 years 11 months ago
2003
Springer
Criminals have been using the Internet to distribute a wide range of illegal materials globally in an anonymous manner, making criminal identity tracing difficult in the cybercrime...
145
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...