6527 search results - page 1254 / 1306 » On Typing Information Flow |
ISMIR
2001
Springer
15 years 4 months ago
2001
Springer
Among other factors, high complexity and mandatory expert computer knowledge make many music IR and music analysis systems unsuitable for the majority of largely computer-illitera...
101
click to vote
LPAR
2001
Springer
15 years 4 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
105
click to vote
REFLECTION
2001
Springer
15 years 4 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
104
click to vote
SSD
2001
Springer
15 years 4 months ago
2001
Springer
Recently there is much interest in moving objects databases, and data models and query languages have been proposed offering data types such as moving point and moving region toge...
103
click to vote
HCW
2000
IEEE
15 years 4 months ago
2000
IEEE
Computational Grids are becoming an increasingly important and powerful platform for the execution of largescale, resource-intensive applications. However, it remains a challenge ...