3844 search results - page 55 / 769 » Modular interpreted systems |
AEI
2007
15 years 16 hour ago
2007
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
ICRA
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper describes guidelines for the design of grippers for use in modular manufacturing workcells. Gripper design is an important and often overlooked aspect of the design of ...
ENTCS
2008
14 years 12 months ago
2008
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient co...
LICS
2000
IEEE
15 years 4 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
CBMS
2001
IEEE
15 years 3 months ago
2001
IEEE
This article describes an approach to an Intelligent Tutorial System