5263 search results - page 97 / 1053 » Open Constraint Optimization |
120
Voted
TCS
2008
15 years 3 months ago
2008
We introduce a new problem that was motivated by a (more complicated) problem arising in a robotized assembly environment. The bin coloring problem is to pack unit size colored it...
97
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We present a novel approach to build approximate maps of structured environments utilizing human motion and activity. Our approach uses data recorded with a data suit which is ...
154
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Online advertising is a rapidly growing, multi-billion dollar industry. It has become a significant element of the Web browsing experience. Ad platforms used for ad selection use ...
244
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
152
click to vote
TLDI
2010
ACM
16 years 11 days ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...