1092 search results - page 156 / 219 » aime 2009 |
100
click to vote
CSL
2009
Springer
15 years 1 months ago
2009
Springer
The aim of this paper is to understand the interplay between intersection, universally quantified, and reference types. Putting together the standard typing rules for intersection,...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract— Electronics has greatly contributed to the development of internal combustion engine. This progress has resulted in reducing environmental degradation, and yet continui...
ECTEL
2009
Springer
15 years 1 months ago
2009
Springer
One claim of Technology-Enhanced Learning (TEL) is to support and exploit benefits from distance learning and remote collaboration. On the other hand, several approaches to learnin...
EDBT
2009
ACM
15 years 1 months ago
2009
ACM
The widespread use of mobile appliances, with limitations in terms of storage, power, and connectivity capability, requires to minimize the amount of data to be loaded on user’s...
GREC
2009
Springer
15 years 1 months ago
2009
Springer
In this paper we present an algorithm for performance characterization of symbol localization systems. This algorithm is aimed to be a more “reliable” and “open” solution t...