4966 search results - page 140 / 994 » its 2010 |
148
click to vote
EOR
2007
15 years 6 months ago
2007
This paper considers the problem of locating M facilities on the unit square so as to minimize the maximal demand faced by each facility subject to closest assignments and coverag...
158
click to vote
ENTCS
2000
15 years 6 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
169
click to vote
ENVSOFT
2000
15 years 6 months ago
2000
A technique is proposed for smoothing a broken line fit, with known break points, to observational data. It will be referred to as "broken line smoothing". The smoothness...
136
click to vote
ENTCS
2002
15 years 6 months ago
2002
Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with ch...
143
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...