16666 search results - page 3038 / 3334 » Descriptive and Computational Complexity |
192
click to vote
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
179
click to vote
GISCIENCE
2004
Springer
16 years 22 hour ago
2004
Springer
The spatial auto-regression (SAR) model is a popular spatial data analysis technique, which has been used in many applications with geo-spatial datasets. However, exact solutions f...
178
click to vote
ISMIR
2004
Springer
16 years 9 hour ago
2004
Springer
Measuring the similarity between rhythms is a fundamental problem in computational music theory, with many applications such as music information retrieval and copyright infringem...
194
click to vote
MHCI
2004
Springer
16 years 4 hour ago
2004
Springer
: The complex usage of mobile devices coupled with their limited resources in terms of display and processing suggests that being able to understand the context of the user would b...
188
click to vote
VISUALIZATION
2003
IEEE
15 years 12 months ago
2003
IEEE
The extraction of planar sections from volume images is the most commonly used technique for inspecting and visualizing anatomic structures. We propose to generalize the concept o...