Sciweavers

12742 search results - page 155 / 2549
» On canonical number systems
Sort
View
CSCW
1996
ACM
15 years 10 months ago
Freeflow: Mediating Between Representation and Action in Workflow Systems
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 ...
Paul Dourish, Jim Holmes, Allan MacLean, Pernille ...
CEC
2007
IEEE
15 years 10 months ago
An ant system with steps counter for the job shop scheduling problem
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...
Emanuel Tellez-Emiquez, Efrén Mezura-Montes...
SAC
2010
ACM
15 years 8 months ago
Scalable analysis of collective behaviour in smart service systems
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...
Mieke Massink, Michael D. Harrison, Diego Latella
CIE
2010
Springer
15 years 8 months ago
The Limits of Tractability in Resolution-Based Propositional Proof Systems
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, ...
Stefan S. Dantchev, Barnaby Martin
MCU
2004
96views Hardware» more  MCU 2004»
15 years 7 months ago
Computational Completeness of P Systems with Active Membranes and Two Polarizations
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
Artiom Alhazov, Rudolf Freund, Gheorghe Paun