575 search results - page 14 / 115 » Wichita State University |
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- This paper is concerned with the derivation of the kinematics model of the University of Tehran-Pole Climbing Robot (UT-PCR). As the first step, an appropriate set of coordinates...
COLT
2005
Springer
14 years 1 months ago
2005
Springer
We examine a Markovian model for the price evolution of a stock, in which the probability of local upward or downward movement is arbitrarily dependent on the current price itself...
DSN
2011
IEEE
12 years 7 months ago
2011
IEEE
In this work, we study security incidents that occurred over period of 5 years at the National Center for Supercomputing Applications at the University of Illinois. The analysis co...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
State of the art methods for image and object re-
trieval exploit both appearance (via visual words) and
local geometry (spatial extent, relative pose). In large
scale problems,...
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...