3001 search results - page 199 / 601 » Recursive type generativity |
187
click to vote
EMSOFT
2007
Springer
16 years 18 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
190
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
190
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
165
click to vote
IJCGA
2000
15 years 6 months ago
2000
We use circle-packing methods to generate quadrilateral meshes for polygonal domains, with guaranteed bounds both on the quality and the number of elements. We show that these met...
214
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper, we deal with a generative model for multi-label, interactive segmentation. To estimate the pixel likelihoods for each label, we propose a new higher-order formulatio...