3082 search results - page 558 / 617 » Deviation Analysis: A New Use of Model Checking |
128
click to vote
APVIS
2006
15 years 5 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...
135
click to vote
ECIR
2004
Springer
15 years 5 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...
125
click to vote
ESANN
2001
15 years 5 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...
158
click to vote
TALG
2008
15 years 4 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. ...
137
click to vote
AR
2007
15 years 3 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...