Sciweavers

1540 search results - page 280 / 308
» Automotive System Design - Challenges and Potential
Sort
View
ICFP
2007
ACM
15 years 9 months ago
Ott: effective tool support for the working semanticist
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
Peter Sewell, Francesco Zappa Nardelli, Scott Owen...
ICFP
2005
ACM
15 years 9 months ago
High-level views on low-level representations
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie
AGS
2009
Springer
15 years 4 months ago
Intelligent Agent Modeling as Serious Game
We propose a novel approach to intelligent tutoring gaming simulations designed for both educational and inquiry purposes in complex multi-actor systems such as infrastructures or...
D. W. F. van Krevelen
RAM
2008
IEEE
124views Robotics» more  RAM 2008»
15 years 4 months ago
Mechatronics Considerations for Assisting Humans
Mechatronics technologies are now steadily penetrating in our daily lives. We are surrounded by mechatronic products and interact with them in many ways. In particular, mechatroni...
Masayoshi Tomizuka
108
Voted
VTC
2008
IEEE
139views Communications» more  VTC 2008»
15 years 4 months ago
Downlink Steered Space-Time Spreading For Multi-Carrier Transmission Over Frequency Selective Channels
— This paper presents a novel amalgam of Steered Space-Time Spreading (SSTS) and Orthogonal Frequency Division Multiple Access (OFDMA) designed for attaining both spatial diversi...
Nazar Sahal, Mohammed El-Hajjar, Lajos Hanzo