6279 search results - page 50 / 1256 » Objects as session-typed processes |
155
Voted
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
Bisimulation equivalence is decidable in polynomial time over normed graphs generated by a context-free grammar. We present a new algorithm, working in time O(n5 ), thus improving...
390
click to vote
ACIIDS
2011
IEEE
14 years 11 months ago
2011
IEEE
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 ...
138
Voted
DAGM
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we introduce a formalism for optimal camera parameter selection for iterative state estimation. We consider a framework based on Shannon’s information theory and se...
141
Voted
ER
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...
123
Voted
ICIP
2005
IEEE
2005
IEEE
Semantic discriminant mapping for classification and browsing of remote sensing textures and objects
16 years 6 months ago
We present a new approach based on Discriminant Analysis to map a high dimensional image feature space onto