4666 search results - page 594 / 934 » Equations on Timed Languages |
151
click to vote
ACTAC
2002
15 years 6 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
214
click to vote
JUCS
2002
15 years 6 months ago
2002
Abstract: This paper presents a complete system for scheduling transportation orders to a fleet of autonomous mobile robots in service environments. It consists of the autonomous m...
193
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
The choice of the kernel function is crucial to most applications of support vector machines. In this paper, however, we show that in the case of text classification, term-frequenc...
186
click to vote
KBS
1998
15 years 6 months ago
1998
This paper describes a document retrieval system called CAIRN that uses a case-based reasoning set using a large lexicon to automatically generate a case index to that document se...
209
click to vote
MICAI
2010
Springer
15 years 5 months ago
2010
Springer
Music is a form of expression. Since machines have limited capabilities in this sense, our main goal is to model musical composition process, to allow machines to express themselve...