Sciweavers

3864 search results - page 340 / 773
» time 2005
Sort
View
CONTEXT
2005
Springer
16 years 9 days ago
Goal-Directed Automated Negotiation for Supporting Mobile User Coordination
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
Iyad Rahwan, Fernando Koch, Connor Graham, Anton K...
COORDINATION
2005
Springer
16 years 9 days ago
Experience Using a Coordination-Based Architecture for Adaptive Web Content Provision
Abstract. There are many ways of achieving scalable dynamic web content. In previous work we have focused on dynamic content degradation using a standard architecture and a design-...
Lindsay Bradford, Stephen Milliner, Marlon Dumas
CP
2005
Springer
16 years 9 days ago
Distributed Constraints for Large-Scale Scheduling Problems
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...
Montserrat Abril, Miguel A. Salido, Federico Barbe...
CP
2005
Springer
16 years 9 days ago
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at...
Carsten Sinz
CPAIOR
2005
Springer
16 years 9 days ago
Combination of Among and Cardinality Constraints
A cardinality constraint imposes that each value of a set V must be taken a certain number of times by a set of variables X, whereas an among constraint imposes that a certain numb...
Jean-Charles Régin