402 search results - page 58 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
TASLP
2008
13 years 7 months ago
2008
Abstract--We propose an automatic method for measuring content-based music similarity, enhancing the current generation of music search engines and recommender systems. Many previo...
PLDI
2003
ACM
14 years 24 days ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
AAAI
2012
11 years 10 months ago
2012
Real-world AI systems have been recently deployed which can automatically analyze the plan and tactics of tennis players. As the game-state is updated regularly at short intervals...
CIVR
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Colonoscopy is an important screening procedure for colorectal cancer. During this procedure, the endoscopist visually inspects the colon. Currently, there is no content-...
JCDL
2011
ACM
12 years 10 months ago
2011
ACM
With product reviews growing in depth and becoming more numerous, it is growing challenge to acquire a comprehensive understanding of their contents, for both customers and produc...