4211 search results - page 575 / 843 » Types as Abstract Interpretations |
147
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— Redundant manipulators have some advantages when compared with classical arms because they allow the trajectory optimization, both on the free space and on the presence...
153
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract A master-slave type remote ultrasound diagnostic system was developed. This paper presents its controller. The controller has impedance control capability for the master a...
167
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
155
click to vote
ECMDAFA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
218
click to vote
DAWAK
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...