1403 search results - page 107 / 281 » Quantitative Interprocedural Analysis |
MM
2003
ACM
14 years 4 months ago
2003
ACM
Music thumbnailing (or music summarization) aims at finding the most representative part of a song, which can be used for web browsing, web searching and music recommendation. Thr...
CJ
2010
13 years 8 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
DIGRA
2003
Springer
14 years 3 months ago
2003
Springer
The Diverse Worlds Project analysed 130 computer and video games (CVGs) to understand their textual landscape. Titles were sampled from the five gaming platforms dominant in 2002....
LCPC
2001
Springer
14 years 3 months ago
2001
Springer
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may a...
ICMLA
2008
14 years 4 days ago
2008
In this paper we describe an interdisciplinary collaboration between researchers in machine learning and oceanography. The collaboration was formed to study the problem of open oc...