1242 search results - page 133 / 249 » Benchmark Analysis with FaCT |
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
VISUAL
2007
Springer
14 years 4 months ago
2007
Springer
With the explosion of multimedia data especially that of video data, requirement of efficient video retrieval has becoming more and more important. Years of TREC Video Retrieval Ev...
3DPVT
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper a novel method for 3D content-based search and retrieval is proposed. Guided by the imperative need for a reliable 3D content based search tool and the very interest...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Resonant clocking holds the promise of trading speed for energy in CMOS circuits that can afford to operate at low frequency, like hearing aids. An experimental chip with 110k tra...
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
The focus of this paper is to introduce a comprehensive model for assessing and improving the maturity of Collaboration Engineering (CE) processes. The model is targeted at introd...