4491 search results - page 413 / 899 » Algorithm Engineering |
177
click to vote
EDBTW
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The Web has been rapidly “deepened” with the prevalence of databases online. On this “deep Web,” numerous sources are structured, providing schema-rich data– Th...
160
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
Hitchcock is a system that allows users to easily create custom videos from raw video shot with a standard video camera. In contrast to other video editing systems, Hitchcock uses...
191
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
166
Voted
SOCO
2010
Springer
15 years 5 months ago
2010
Springer
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
215
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Modern mobile phones can store a large amount of data, such as contacts, applications and music. However, it is difficult to access specific data items via existing mobile user in...