6306 search results - page 1031 / 1262 » Space, Time, and the Use of Language |
166
click to vote
TACAS
2005
Springer
16 years 3 days ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
161
click to vote
WEBI
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
156
click to vote
HT
2004
ACM
16 years 1 days ago
2004
ACM
Many approaches have been pursued over the years to facilitate creating, organizing, and sharing collections of materials extracted from large information spaces. Little attention...
189
Voted
SC
2004
ACM
16 years 1 days ago
2004
ACM
Texture analysis is one possible method to detect features in biomedical images. During texture analysis, texture related information is found by examining local variations in ima...
153
click to vote
SIGMETRICS
2004
ACM
16 years 1 days ago
2004
ACM
We study the problem of locating in space and over time a network path’s tight link, that is the link with the least available bandwidth on the path. Tight link localization ben...