Sciweavers

3819 search results - page 368 / 764
» Simple Easy Terms
Sort
View
FOSSACS
2001
Springer
15 years 11 months ago
The Rho Cube
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
180
Voted
NIME
2001
Springer
126views Music» more  NIME 2001»
15 years 11 months ago
Problems and Prospects for Intimate Musical Control of Computers
In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled w...
David Wessel, Matthew Wright
183
Voted
FOCS
2000
IEEE
15 years 11 months ago
On Clusterings - Good, Bad and Spectral
We motivate and develop a natural bicriteria measure for assessing the quality of a clustering that avoids the drawbacks of existing measures. A simple recursive heuristic is shown...
Ravi Kannan, Santosh Vempala, Adrian Vetta
168
Voted
ICRA
2000
IEEE
95views Robotics» more  ICRA 2000»
15 years 11 months ago
Designing with Haptic Feedback
Haptic feedback is a design element for human-computer interfaces, and this paper discusses when and how it can be used to best effect in interactive applications. It begins with ...
Karon E. MacLean
BIRTHDAY
2000
Springer
15 years 11 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner