7109 search results - page 1117 / 1422 » Process Algebra with Combinators |
179
click to vote
EUROPAR
2004
Springer
16 years 3 days ago
2004
Springer
Scheduling parallel jobs has been an active investigation area. The scheduler has to deal with heterogeneous workloads and try to obtain throughputs and response times such that en...
179
click to vote
EWCBR
2004
Springer
16 years 3 days ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
213
click to vote
FASE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
171
click to vote
HUC
2004
Springer
16 years 3 days ago
2004
Springer
People often misplace objects they care about. We present a system that generates reminders about objects left behind by tagging those objects with passive RFID tags. Readers posit...
157
click to vote
ICA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Frequency domain ICA has been used successfully to separate the utterances of interfering speakers in convolutive environments, see e.g. [6],[7]. Improved separation resu...