3951 search results - page 393 / 791 » Automatic amortized analysis |
208
click to vote
AWIC
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we propose an automatic summarization system to ease web browsing for visually impaired people on handheld devices. In particular, we propose a new architecture for ...
165
click to vote
CLEAR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper presents a visual particle filter for jointly tracking the position of a person and her head pose. The resulting information may be used to support automatic ...
158
click to vote
ICFEM
2007
Springer
16 years 28 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
196
click to vote
MIRAGE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper we present an agent that can analyse certain human fullbody movements in order to respond in an expressive manner with copying behaviour. Our work focuses o...
166
click to vote
ACSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
In the last few years, several approaches have been proposed to perform vulnerability analysis of applications written in high-level languages. However, little has been done to au...