3082 search results - page 494 / 617 » Deviation Analysis: A New Use of Model Checking |
144
click to vote
JAPLL
2010
15 years 4 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
209
click to vote
IADIS
2004
15 years 7 months ago
2004
M-payments, which refer to payments over a mobile device, have not taken off as fast as predicted. Their slow adoption rates raise many questions about what drives consumer behavi...
188
click to vote
DMIN
2006
15 years 7 months ago
2006
Digital music distribution industry has seen a tremendous growth in resent years. Tasks such us automatic music genre discrimination address new and exciting research challenges. A...
188
click to vote
FGR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a novel system for 3D head tracking under partial occlusion from 2D monocular image sequences. In this system, The Extended Superquadric (ESQ) is used to gene...
176
click to vote
DSP
2006
15 years 6 months ago
2006
Cross correlation function (CCF) of signals is an important tool of multi-sensors signal processing. Parabola functions are commonly used as parametric models of the CCF in time d...