Sciweavers

250 search results - page 6 / 50
» Regular Types for Active Objects
Sort
View
JOT
2006
104views more  JOT 2006»
13 years 7 months ago
Call-out Bracket Methods in Timor
This paper extends the concept of qualifying types by describing how their implementations can include not only bracket methods which are applied when a method of a target object ...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
MCU
2004
96views Hardware» more  MCU 2004»
13 years 9 months ago
Computational Completeness of P Systems with Active Membranes and Two Polarizations
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
Artiom Alhazov, Rudolf Freund, Gheorghe Paun
DAM
1998
77views more  DAM 1998»
13 years 7 months ago
The Scheduling of Maintenance Service
We study a discrete problem of scheduling activities of several types under the constraint that at most a single activity can be scheduled to any one period. Applications of such ...
Shoshana Anily, Celia A. Glass, Refael Hassin
CVPR
2000
IEEE
14 years 9 months ago
Codimension - Two Geodesic Active Contours for the Segmentation of Tubular Structures
Curve evolution schemes for segmentation, implemented with level set methods, have become an important approach in computer vision. Previous work has modeled evolving contours whi...
Liana M. Lorigo, W. Eric L. Grimson, Olivier D. Fa...
ACIIDS
2011
IEEE
209views Database» more  ACIIDS 2011»
13 years 2 months ago
Prototype of Object-Oriented Declarative Workflows
While in the traditional workflow processes the control flow is determined statically within process definitions, in declarative workflow processes the control flow is dynamic and ...
Marcin Dabrowski, Michal Drabik, Mariusz Trzaska, ...