1039 search results - page 80 / 208 » The Def-inite Approach to Dependency Analysis |
110
click to vote
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...
98
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
120
click to vote
GROUP
2007
ACM
15 years 5 months ago
2007
ACM
Employees depend on other people in the enterprise for rapid access to important information. But current systems for finding experts do not adequately address the social implicat...
151
click to vote
ICONIP
2008
15 years 3 months ago
2008
This paper's intention is to adapt prediction algorithms well known in the field of time series analysis to problems being faced in the field of mobile robotics and Human-Robo...
106
click to vote
PAMI
2008
15 years 1 months ago
2008
Face recognition algorithms perform very unreliably when the pose of the probe face is different from the gallery face: typical feature vectors vary more with pose than with identi...