12194 search results - page 61 / 2439 » cans 2010 |
TITS
2010
13 years 3 months ago
2010
Abstract--Automated passenger tracking in public transportation systems can be used to estimate the short-term demand and, thereby, to optimize the fleet schedule in real time. It ...
RTA
2010
Springer
14 years 3 days ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
ICGI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper revisits a problem of the evaluation of computational grammatical inference (GI) systems and discusses what role complexity measures can play for the assessmen...
DEXAW
2010
IEEE
13 years 9 months ago
2010
IEEE
: Monte Carlo Study of Taxonomy Evaluation Alexander Ulanov, Georgy Shevlyakov, Nikolay Lyubomishchenko, Pankaj Mehra, Vladimir Polutin HP Laboratories HPL-2010-147 Taxonomy evalu...
ENTCS
2002
13 years 8 months ago
2002
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the ...