1382 search results - page 111 / 277 » Formal Analysis of Online Algorithms |
155
click to vote
ECAL
2001
Springer
15 years 10 months ago
2001
Springer
In this paper a formal approach to construction of a similarity measure for complex creatures is presented. The simulation model is described, and a Framsticks agent is expressed i...
176
Voted
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
162
click to vote
CLEF
2011
Springer
14 years 6 months ago
2011
Springer
Abstract This paper describes the University of Sheffield entry for the 3rd International Competition on Plagiarism Detection which attempted the monolingual external plagiarism d...
164
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
171
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
SALSA is a link-based ranking algorithm that takes the result set of a query as input, extends the set to include additional neighboring documents in the web graph, and performs a...