Sciweavers

1750 search results - page 331 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
ICALT
2009
IEEE
15 years 4 months ago
Learning Activity Spaces: Towards Flexibility in Learning Design?
Designing a computer-supported learning scenario involving a constructivist approach of learning lays on a paradox. On the one hand, learning flows must be precisely described –...
Anne Lejeune, Muriel Ney, Armin Weinberger, Margus...
ICIW
2009
IEEE
15 years 4 months ago
Enhancing IMS LD Units of Learning Comprehension
IMS Learning Design (IMS LD) is a powerful and expressive educational modeling language, which is becoming a “de facto” encoding and interchange standard for activity-based co...
Iván Martínez-Ortiz, José Lui...
LICS
2009
IEEE
15 years 4 months ago
An Improved Lower Bound for the Complementation of Rabin Automata
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
Yang Cai, Ting Zhang, Haifeng Luo
ROBOCUP
2009
Springer
110views Robotics» more  ROBOCUP 2009»
15 years 4 months ago
A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
Tim Niemüller, Alexander Ferrein, Gerhard Lak...
CODES
2007
IEEE
15 years 4 months ago
Locality optimization in wireless applications
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
Javed Absar, Min Li, Praveen Raghavan, Andy Lambre...