Sciweavers

4743 search results - page 410 / 949
» Introduction to Functional Programming
Sort
View
IJCAI
1989
15 years 8 months ago
Constraint Posting for Verifying VLSI Circuits
We apply constraint posting to the problem of reasoning about function from structure. Constraint posting is a technique used by some planners to coordinate decisions. At each dec...
Daniel Weise
ECAI
2010
Springer
15 years 8 months ago
LP Solvable Models for Multiagent Fair Allocation Problems
This paper proposes several operational approaches for solving fair allocation problems in the context of multiagent optimization. These problems arise in various contexts such as ...
Julien Lesca, Patrice Perny
EUROITV
2008
Springer
15 years 7 months ago
An Experimental Platform Based on MCE for Interactive TV
In this paper, we propose an experimental platform for the design of interactive TV. On this platform, designers are allowed to emulate broadcasting programs, define control functi...
Ping-Yi Liu, Hung-Wei Lee, Tsai-Yen Li, Shwu-Lih H...
170
Voted
EOR
2007
113views more  EOR 2007»
15 years 6 months ago
Duality for location problems with unbounded unit balls
Abstract. Given an optimization problem with a composite of a convex and componentwise increasing function with a convex vector function as objective function, by means of the conj...
Gert Wanka, Radu Ioan Bot, Emese Vargyas
BMVC
2010
15 years 4 months ago
TV-Based Multi-Label Image Segmentation with Label Cost Prior
This paper studies image segmentation based on the minimum description length (MDL) functional combining spatial regularization with a penality for the number of distinct segments...
Jing Yuan, Yuri Boykov