8933 search results - page 250 / 1787 » Usability over time |
201
click to vote
RTSS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
185
click to vote
NIME
2005
Springer
16 years 4 days ago
2005
Springer
A wide variety of singing synthesis models and methods exist, but there are remarkably few real-time controllers for these models. This paper describes a variety of devices develo...
150
click to vote
NIME
2004
Springer
16 years 7 hour ago
2004
Springer
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
175
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
142
click to vote
COMPGEOM
2003
ACM
15 years 12 months ago
2003
ACM
Let P be a set of n points in Rd. The radius of a k-dimensional flat F with respect to P, denoted by RD(F, P), is defined to be maxp∈P dist(F, p), where dist(F, p) denotes the...