1036 search results - page 78 / 208 » Report on INEX 2009 |
148
click to vote
ACMIDC
2009
15 years 10 months ago
2009
This paper reports on different projects aimed at fostering inclusion in Portuguese elementary and high schools at national, regional and local level through ICT projects. Based o...
185
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Ubiquitous computing poses new usability challenges that cut across design and development. We are particularly interested in "spaces" enhanced with sensors, public disp...
162
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
160
click to vote
HPCS
2009
IEEE
15 years 10 months ago
2009
IEEE
We report efficient implementation techniques for FFT-based dense multivariate polynomial arithmetic over finite fields, targeting multi-cores. We have extended a preliminary study...
126
click to vote
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
Modern teaching tools, such as educational robotics, require new learning environments. The teacher especially needs to be supported in novel ways. Conflative learning environment...