2148 search results - page 317 / 430 » Responsiveness in Process Calculi |
106
click to vote
NIME
2001
Springer
15 years 3 months ago
2001
Springer
The MATRIX (Multipurpose Array of Tactile Rods for Interactive eXpression) is a new musical interface for amateurs and professionals alike. It gives users a 3dimensional tangible ...
RE
2001
Springer
15 years 3 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
ICMCS
2000
IEEE
15 years 3 months ago
2000
IEEE
As more information sources become available in multimedia systems, the development of multimedia database management systems (MDBMSs) to efficiently model and search multimedia ...
ICPADS
2000
IEEE
15 years 3 months ago
2000
IEEE
The most costly spatial operation in spatial databases is a spatial join with combines objects from two data sets based on spatial predicates. Even if the execution time of sequen...
SSDBM
2000
IEEE
15 years 3 months ago
2000
IEEE
Fast retrieval of time series in terms of their contents is important in many application domains. This paper studies database techniques supporting fast searches for time series ...