6279 search results - page 45 / 1256 » Objects as session-typed processes |
175
click to vote
DEXA
1997
Springer
15 years 8 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
141
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper, we use marked point processes to perform an unsupervised extraction of the coronary tree from 2D X-ray angiography. These processes provide a rigorous framework bas...
173
Voted
ROOM
2000
15 years 5 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
134
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
In this paper, we investigate color distribution around object edges and further exploit this information for motion vector reliability analysis. Since the motion vectors are ofte...
124
click to vote
DEXAW
2009
IEEE
15 years 11 months ago
2009
IEEE
—The increasing automation of business processes is one of the main benefits of the ongoing technological evolution. Regarding e-invoices this automation process is still not op...