4287 search results - page 98 / 858 » Minimal Mental Models |
COCOA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper, we study an efficient approximate integer linear programming formulation of the general problem of one-dimensional periodic task scheduling under storage r...
FM
2008
Springer
13 years 10 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
GRAPHICSINTERFACE
2003
13 years 10 months ago
2003
Surface pasting is a hierarchical modeling technique capable of adding local details to tensor product Bspline surfaces without incurring significant computational costs. In this...
DAM
2010
13 years 9 months ago
2010
Given a set of m identical bins of size 1, the online input consists of a (potentially, infinite) stream of items in (0, 1]. Each item is to be assigned to a bin upon arrival. The ...
EOR
2007
13 years 9 months ago
2007
: New semiconductor wafer fabrication facilities use Front Opening Unified Pods (FOUPs) as a common unit of wafer transfer. Since the number of pods is limited due to high costs, a...