12438 search results - page 108 / 2488 » The Magic of a Number System |
126
click to vote
FOCS
1998
IEEE
15 years 8 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
124
click to vote
CSCW
1996
ACM
15 years 8 months ago
1996
ACM
In order to understand some problems associated with workflow, we set out an analysis of workflow systems, identifying a number of basic issues in the underlying technology. This ...
135
click to vote
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we present an ant system algorithm variant designed to solve the job shop scheduling problem. The proposed approach is based on a recent biological study which showe...
128
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shap...
113
Voted
CIE
2010
Springer
15 years 5 months ago
2010
Springer
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...