535 search results - page 41 / 107 » Termination of Abstract Reduction Systems |
ECTEL
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. This paper presents a system that connects students with complementary profiles, so they can interchange knowledge and help each other. The profile of the students is bui...
CDC
2009
IEEE
13 years 7 months ago
2009
IEEE
Abstract-- The safety control problem for hybrid automata with imperfect mode information and continuous control is addressed. When the controller does not have access to the mode ...
FLOPS
2010
Springer
14 years 4 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
CADE
2011
Springer
12 years 10 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
HAPTICS
2008
IEEE
13 years 10 months ago
2008
IEEE
Abstract. Physically dissipative damping can increase the range of passive stiffness that can be rendered by a haptic device. Unlike simulated damping it does not introduce noise i...