58 search results - page 3 / 12 » Satisfiability and Computing van der Waerden Numbers |
HCI
2009
13 years 3 months ago
2009
This paper introduces our research which aims to develop a design approach for ADAS applications in which human factors (including stakeholder feedback and objective performance me...
ATAL
2011
Springer
12 years 5 months ago
2011
Springer
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
HPDC
2006
IEEE
13 years 11 months ago
2006
IEEE
Grid applications that use a considerable number of processors for their computations need effective predictions of the expected computation times on the different nodes. Currentl...
COMGEO
1998
ACM
13 years 4 months ago
1998
ACM
A common task in automated manufacturing processes is to orient parts prior to assembly. We consider sensorless orientation of a polygonal part by a sequence of fences. We show th...
CSL
2003
Springer
13 years 10 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...