4460 search results - page 744 / 892 » Formal methods for interactive systems |
134
click to vote
INFOVIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Satisfaction surveys are an important measurement tool in fields such as market research or human resources management. Serious studies consist of numerous questions and contain a...
138
click to vote
CVPR
2009
IEEE
15 years 7 months ago
2009
IEEE
One promising approach to remove motion deblurring is to recover one clear image using an image pair. Existing dual-image methods require an accurate image alignment between the i...
121
click to vote
USS
2008
15 years 6 months ago
2008
Many web sites embed third-party content in frames, relying on the browser's security policy to protect them from malicious content. Frames, however, are often insufficient i...
108
click to vote
ESWA
2008
15 years 3 months ago
2008
Video question answering aims to pinpoint answers in response to user's specified questions. However, most question answering technologies involve in integrating rich specifi...
130
click to vote
JVCA
2007
15 years 3 months ago
2007
Turing first theorized that many biological patterns arise through the processes of reaction and diffusion [1]. Subsequently, reaction-diffusion systems have been studied in ma...