Sciweavers

6618 search results - page 1218 / 1324
» Web Search Engines
Sort
View
EUROMICRO
2007
IEEE
15 years 10 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
114
Voted
ICMCS
2007
IEEE
144views Multimedia» more  ICMCS 2007»
15 years 10 months ago
Analysis, User Interface, and their Evaluation for Student Presentation Videos
In the domain of candidly-captured student presentation videos, we examine and evaluate approaches for multimodal analysis and indexing of audio and video. We apply visual segment...
Alexander Haubold, John R. Kender
131
Voted
ICTAI
2007
IEEE
15 years 10 months ago
A Music Information Retrieval Approach Based on Power Laws
We present a music information retrieval approach based on power laws. Research in cognitive science and neuroscience reveals connections between power laws, human cognition, and ...
Patrick Roos, Bill Z. Manaris
IPPS
2007
IEEE
15 years 10 months ago
Challenges in Mapping Graph Exploration Algorithms on Advanced Multi-core Processors
Multi-core processors are a shift of paradigm in computer architecture that promises a dramatic increase in performance. But multi-core processors also bring an unprecedented leve...
Oreste Villa, Daniele Paolo Scarpazza, Fabrizio Pe...
113
Voted
CIKM
2007
Springer
15 years 10 months ago
Sigma encoded inverted files
Compression of term frequency lists and very long document-id lists within an inverted file search engine are examined. Several compression schemes are compared including Elias γ...
Andrew Trotman, Vikram Subramanya
« Prev « First page 1218 / 1324 Last » Next »