1818 search results - page 217 / 364 » Granularity-Adaptive Proof Presentation |
135
Voted
ICMAS
2000
15 years 5 months ago
2000
We present an auction-based approach to manufacturing control. Workpieces auction off their current task, while machines bid for tasks. When awarding a machine, a workpiece takes ...
158
Voted
IMAGING
2000
15 years 5 months ago
2000
This paper describes a method for developing a transform between two device CMYK spaces in a way that preserves information about the black separation. An important application of...
145
Voted
WOA
2007
15 years 4 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
130
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
124
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There i...