2850 search results - page 49 / 570 » On Timed Models and Full Abstraction |
140
click to vote
MFCS
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
162
click to vote
IV
2003
IEEE
15 years 11 months ago
2003
IEEE
City models have become central elements for visually communicating spatial information related to urban areas and have manifold applications. Our real-time orealistic rendering t...
163
click to vote
ICONIP
2010
15 years 4 months ago
2010
Abstract. In this paper, we propose a novel approach for adaptive control of robotic manipulators. Our approach uses a representation of inverse dynamics models learned from a vari...
138
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
147
click to vote
KBSE
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...