3082 search results - page 423 / 617 » Deviation Analysis: A New Use of Model Checking |
199
click to vote
ICUMT
2009
15 years 4 months ago
2009
In cognitive radio networks, secondary user (SU) does not have rights to transmit when the primary user (PU) band is occupied, that's why a sensing technique must be done. Rec...
173
click to vote
ICWSM
2009
15 years 4 months ago
2009
This paper defines a concept of trust incident accounts as verbal reports of empirical episodes in which a trustor has reached a state of positive or negative expectations of a tr...
162
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
— A new standpoint on financial time series, without the use of any mathematical model and of probabilistic tools, yields not only a rigorous approach of trends and volatility, ...
316
click to vote
ISCI
2011
15 years 1 months ago
2011
—Ranking plays important roles in contemporary Internet and vertical search engines. Among existing ranking algorithms, link analysis based algorithms have been proved as effecti...
154
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. This paper presents a new algorithm for non-rigid registration between two doubly-connected regions. Our algorithm is based on harmonic analysis and the theory of optimal...