254 search results - page 20 / 51 » A Behavioral Module System for the Pi-Calculus |
112
click to vote
SAFECOMP
1999
Springer
15 years 4 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
KI
1994
Springer
15 years 3 months ago
1994
Springer
The modeling of noncooperative dialogs, as opposed to dialogs in which the goals of the participants coincide, presents novel challenges to a pragmatically oriented dialog system. ...
105
click to vote
ICC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--Upcoming multi antenna systems such as 3GPPLTE employ code book based multi-mode precoding in order to adapt to a wide range of channel conditions. Link adaptation, which...
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— There has been much research into the development of robotic controllers in educational, industrial and government research labs, but limited hardware budgets constrain...
120
click to vote
EXACT
2007
15 years 2 months ago
2007
A critical aspect of any explanation module is the set of user questions the system will be able to address. However, there has been relatively little work on listing and organizi...