2364 search results - page 401 / 473 » An Engine for Computing Well-Founded Models |
156
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
218
click to vote
TASE
2011
IEEE
14 years 11 months ago
2011
IEEE
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...
143
click to vote
TASE
2010
IEEE
14 years 10 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...
126
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Behavioral Targeting (BT) is a technique used by online advertisers to increase the effectiveness of their campaigns, and is playing an increasingly important role in the online a...
139
click to vote
IUI
2009
ACM
16 years 28 days ago
2009
ACM
Selection tasks are common in modern computer interfaces: we are often required to select a set of files, emails, data entries, and the like. File and data browsers have sorting a...