11752 search results - page 1957 / 2351 » Those |
208
click to vote
ICAPR
2005
Springer
2005
Springer
Mathematical Features for Recognizing Preference in Sub-saharan African Traditional Rhythm Timelines
16 years 11 days ago
The heart of an African rhythm is the timeline, a beat that cyclically repeats thoughout a piece, and is often performed with an iron bell that all performers can hear. Such rhythm...
151
Voted
ICDT
2005
ACM
16 years 11 days ago
2005
ACM
A common technique for improving performance for database query retrieval is to decluster the database among multiple disks so that retrievals can be parallelized. In this paper we...
188
Voted
ICFEM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
228
Voted
ICIAR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Background updating is an important aspect of dynamic scene analysis. Two critical problems: sudden camera perturbation and the sleeping person problem, which arise frequ...
176
Voted
ICLP
2005
Springer
16 years 11 days ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...