3082 search results - page 558 / 617 » Deviation Analysis: A New Use of Model Checking |
APVIS
2006
15 years 1 months ago
2006
Performance and preference measures are commonly used in the assessment of visualization techniques. This is important and useful in understanding differences in effectiveness bet...
ECIR
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Previous researches on advanced representations for document retrieval have shown that statistical state-of-the-art models are not improved by a variety of different ling...
ESANN
2001
15 years 1 months ago
2001
Aim of the present article is to show the results obtained from the application of neuro-fuzzy methodology in the solution of agriculture problems like the Bactrocera Oleae (olive...
100
click to vote
TALG
2008
14 years 11 months ago
2008
Abstract. We present a new analysis of the well-known family of multiplicative hash functions, and improved deterministic algorithms for selecting "good" hash functions. ...
AR
2007
14 years 11 months ago
2007
This paper presents a new method to analyze the stability of a general class of mobile robot path tracking algorithms taking into account explicitly the computation and communicat...