Sciweavers

5128 search results - page 305 / 1026
» An Efficient Storage Manager
Sort
View
JETAI
2008
93views more  JETAI 2008»
15 years 7 months ago
The message management asynchronous backtracking algorithm
: This paper shows how the Asynchronous Backtracking (Yokoo et al., 1998) algorithm, a well known distributed constraint satisfaction algorithm, produces unnecessary messages and i...
Hong Jiang, José M. Vidal
JAR
2000
77views more  JAR 2000»
15 years 7 months ago
Proving Consistency Assertions for Automotive Product Data Management
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
Wolfgang Küchlin, Carsten Sinz
KBS
2002
98views more  KBS 2002»
15 years 7 months ago
Integrating AI planning techniques with workflow management system
There is a variety of applications that can benefit from the ability to find optimal or good solutions to a proposed problem automatically. The Artificial Intelligent (AI) communi...
María Dolores Rodríguez-Moreno, Paul...
CNSM
2010
15 years 5 months ago
Near optimal demand-side energy management under real-time demand-response pricing
Abstract--In this paper, we present demand-side energy management under real-time demand-response pricing as a task scheduling problem which is NP-hard. Using minmax as the objecti...
Jin Xiao, Jae Yoon Chung, Jian Li, Raouf Boutaba, ...
ICDIM
2010
IEEE
15 years 5 months ago
Complementarity of process-oriented and ontology-based context managers to identify situations
One issue for context-aware applications is to identify without delay situations requiring reactions. The identification of these situations is computed from both dynamic context ...
Amel Bouzeghoub, Chantal Taconet, Amina Jarraya, N...