4438 search results - page 239 / 888 » The Case for Collaborative Programming |
163
click to vote
CAV
2005
Springer
16 years 5 days 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...
156
click to vote
CPAIOR
2005
Springer
16 years 2 days ago
2005
Springer
Producing work schedules for airline crew normally results in individually different schedules. Some airlines do however want to give the same schedule to groups of people. The con...
182
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
174
click to vote
ADAEUROPE
1997
Springer
15 years 10 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
188
click to vote
ALT
1994
Springer
15 years 10 months ago
1994
Springer
Most studies modeling inaccurate data in Gold style learning consider cases in which the number of inaccuracies is finite. The present paper argues that this approach is not reaso...