692 search results - page 107 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
134
click to vote
WWW
2010
ACM
15 years 5 months ago
2010
ACM
Video summarization is a mechanism for generating short summaries of the video to help people quickly make sense of the content of the video before downloading or seeking more det...
111
click to vote
FAC
2008
14 years 12 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
ESWS
2009
Springer
15 years 6 months ago
2009
Springer
Statistical data is present everywhere—from governmental bodies to economics, from life-science to industry. With the rise of the Web of Data, the need for sharing, accessing, an...
122
click to vote
UAIS
2010
14 years 6 months ago
2010
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
106
click to vote
NORDICHI
2004
ACM
15 years 5 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...