755 search results - page 43 / 151 » ideas 2005 |
105
click to vote
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
BPM
2005
Springer
15 years 3 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
84
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
CC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
CMMR
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents our work on building low-cost music controllers intended for educational and creative use. The main idea was to build an electronic music controller, including ...