Sciweavers

6279 search results - page 72 / 1256
» Objects as session-typed processes
Sort
View
132
Voted
PODC
1997
ACM
15 years 9 months ago
Implementing Wait-Free Objects on Priority-Based Systems
Wait-free objects are often implemented through the use of a \helping scheme", whereby one process \helps" one or more other processes to complete an operation. This pap...
James H. Anderson, Srikanth Ramamurthy, Rohit Jain
EDO
2000
Springer
15 years 8 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
DICTA
2003
15 years 6 months ago
A Model Set Based Object Segmentation Method Using Level Set Approach
Abstract. A novel approach for model set based object segmentation is described. The proposed method enables the using of a model set to guide the object segmentation. The object s...
Xun Wang, Zhigang Peng, Feng Gao, William G. Wee
ICIP
2005
IEEE
16 years 6 months ago
Joint feature-spatial-measure space: a new approach to highly efficient probabilistic object tracking
In this paper we present a probabilistic framework for tracking objects based on local dynamic segmentation. We view the segn to be a Markov labeling process and abstract it as a ...
Feng Chen, XiaoTong Yuan, ShuTang Yang
ICIP
2005
IEEE
16 years 6 months ago
Multi-step active object tracking with entropy based optimal actions using the sequential Kalman filter
We describe an enhanced method for the selection of optimal sensor actions in a probabilistic state estimation framework. We apply this to the selection of optimal focal lengths f...
Benjamin Deutsch, Heinrich Niemann, Joachim Denzle...