4385 search results - page 169 / 877 » Abstraction for Concurrent Objects |
ROOM
2000
15 years 18 days ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This short note presents an efficient way to derive from an exponential Boltzmann sampler a ordinary Boltzmann sampler. Cette note rapide pr´esente une fa¸con efficace ...
TACAS
2004
Springer
15 years 4 months ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
VR
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a system that enables, for the first time, effective transatlantic cooperative haptic manipulation of objects whose motion is computed using a physically-based model. ...
IJCAI
1989
15 years 13 days ago
1989
A homogeneous paradigm for evidence integration is presented, and a vision system to recognize 3D objects is demonstrated using this paradigm. A new concept called generalizedfeat...