3133 search results - page 272 / 627 » Difference systems of sets and cyclotomy |
148
click to vote
WSC
2004
15 years 8 months ago
2004
This paper describes a simulation system that monitors operations on a production floor, periodically creating a model of those operations, and running a simulation that predicts ...
157
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
We present a new method for instance-specific algorithm configuration (ISAC). It is based on the integration of the algorithm configuration system GGA and the recently proposed sto...
200
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
We present a system to automatically construct high resolution images from an unordered set of low resolution photos. It consists of an automatic preprocessing step to establish c...
170
click to vote
AML
2006
15 years 6 months ago
2006
The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of th...
139
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...