1093 search results - page 3 / 219 » Fast Abstracts |
JCDL
2003
ACM
14 years 25 days ago
2003
ACM
To support effective browsing, interfaces to digital video libraries should include video surrogates (i.e., smaller objects that can stand in for the videos in the on, analogous t...
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
Abstract-- In this paper, we present FastPlace 3.0
CEC
2010
IEEE
13 years 8 months ago
2010
IEEE
Breeding Abstract Animations in Realtime Tatsuo Unemi SBART was developed in early 1990's as one of the derivatives from Artificial Evolution by Karl Sims. It has a functional...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstractions Aziem Chawdhary1 , Byron Cook2 , Sumit Gulwani2 , Mooly Sagiv3 , and Hongseok Yang1 1 Queen Mary, University of London 2 Microsoft Research 3 Tel Aviv University Abstr...