Sciweavers

4066 search results - page 432 / 814
» Almost Complete Sets
Sort
View
ACMICEC
2004
ACM
90views ECommerce» more  ACMICEC 2004»
16 years 9 days ago
SmartRestaurant: mobile payments in context-aware environment
Mobility, context-awareness and payment combined provide a customer with a completely new setting of consuming services at any time and any place. We introduce SmartRestaurant ser...
Janne Lukkari, Jani Korhonen, Timo Ojala
CPAIOR
2004
Springer
16 years 8 days ago
Cost Evaluation of Soft Global Constraints
This paper shows that existing definitions of costs associated with soft global constraints are not sufficient to deal with all the usual global constraints. We propose more expre...
Nicolas Beldiceanu, Thierry Petit
CSCLP
2004
Springer
16 years 8 days ago
Better Propagation for Non-preemptive Single-Resource Constraint Problems
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
Armin Wolf
DNA
2004
Springer
157views Bioinformatics» more  DNA 2004»
16 years 8 days ago
Bond-Free Languages: Formalizations, Maximality and Construction Methods
The problem of negative design of DNA languages is addressed, that is, properties and construction methods of large sets of words that prevent undesired bonds when used in DNA com...
Lila Kari, Stavros Konstantinidis, Petr Sosí...
ECAI
2004
Springer
16 years 8 days ago
Game-Theoretic Agent Programming in Golog
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
Alberto Finzi, Thomas Lukasiewicz