1312 search results - page 149 / 263 » Quantitative Comparison of Languages |
79
Voted
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
104
Voted
WMTE
2005
IEEE
15 years 6 months ago
2005
IEEE
The paper reports on a small pilot study that explores the role of mobile technology (m-technology) in English as second language (ESL) vocabulary learning for working adult learn...
114
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), which are classes of (finitely presented) countable-state MDPs and zero-su...
84
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
94
Voted
TSD
2001
Springer
15 years 5 months ago
2001
Springer
The problem of automatic text segmentation is subcategorized into two different problems: thematic segmentation into rather large topically selfcontained sections and splitting int...