2354 search results - page 274 / 471 » Assignment Problems |
182
click to vote
COMPASS
1991
15 years 10 months ago
1991
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
150
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
146
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
In a pattern classification setup, image segmentation is achieved by assigning each pixel to one of two classes: object or background. The special case of vessel segmentation is c...
168
click to vote
AAAI
2008
15 years 8 months ago
2008
We present the design of a banner advertising auction which is considerably more expressive than current designs. We describe a general model of expressive ad contracts/bidding an...
173
click to vote
FLAIRS
2007
15 years 8 months ago
2007
The LEGO Mindstorms robots provide an excellent introductory platform for students to learn computer programming. However, a major drawback is students’ lack of access to robots...