20175 search results - page 3880 / 4035 » Is abstraction the key to computing |
104
Voted
SARA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
STACS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We develop for set cover games several general cost-sharing methods that are approximately budget-balanced, core, and/or group-strategyproof. We first study the cost sha...
105
click to vote
GW
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we introduce some exploratory ideas and applications involving the gestural control of sonic textures. Three examples of how the gestural control of synthe...
132
Voted
CF
2004
ACM
15 years 6 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
110
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...