Sciweavers

3914 search results - page 266 / 783
» Automating SLA modeling
Sort
View
NMR
2004
Springer
14 years 1 months ago
Propositional belief merging and belief negotiation model
We propose in this paper a new family of belief merging operators, that is based on a game between sources : Until a coherent set of sources is reached, at each round a contest is...
Sébastien Konieczny
ICRA
2003
IEEE
133views Robotics» more  ICRA 2003»
14 years 1 months ago
Conflict-free routing of AGVs on the mesh topology based on a discrete-time model
: Automated Guided Vehicles (or AGVs for short) have become an important option in material handling. In many applications, such as container terminals, the service area is often a...
Jianyang Zeng, Wen-Jing Hsu
TIME
2003
IEEE
14 years 1 months ago
A Novel Approach to Model NOW in Temporal Databases
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
Bela Stantic, John Thornton, Abdul Sattar
ICCS
2003
Springer
14 years 1 months ago
A Method of Hidden Markov Model Optimization for Use with Geophysical Data Sets
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
Robert A. Granat
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
14 years 24 days ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray