1930 search results - page 51 / 386 » Epistemic comparative conditionals |
SAS
2004
Springer
15 years 5 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
101
click to vote
APGV
2008
ACM
15 years 1 months ago
2008
ACM
In order to better understand how scene motion is perceived in immersive virtual environments and to provide guidelines for designing more useable systems, we measured sensitivity...
IMAGING
2000
15 years 1 months ago
2000
This paper describes an investigation undertaken to address the goal set by the CIE Technical committee TC804: "To investigate the state of adaptation of the visual system wh...
JCST
2007
14 years 11 months ago
2007
In this paper, we present a fast attack algorithm to find two-block collision of hash function MD5. The algorithm is based on the two-block collision differential path of MD5 that ...
112
click to vote
AMDO
2010
Springer
14 years 10 months ago
2010
Springer
In this paper an approach is described to estimate 3D pose using a part based stochastic method. A proposed representation of the human body is explored defined over joints that e...