Sciweavers

4378 search results - page 87 / 876
» On the Complexity of Ordered Colourings
Sort
View
SIES
2007
IEEE
14 years 3 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
ECAI
2004
Springer
14 years 2 months ago
Adversarial Constraint Satisfaction by Game-Tree Search
Many decision problems can be modelled as adversarial constraint satisfaction, which allows us to integrate methods from AI game playing. In particular, by using the idea of oppone...
Kenneth N. Brown, James Little, Páidí...
SBACPAD
2003
IEEE
125views Hardware» more  SBACPAD 2003»
14 years 2 months ago
Applying Scheduling by Edge Reversal to Constraint Partitioning
— Scheduling by Edge Reversal (SER) is a fully distributed scheduling mechanism based on the manipulation of acyclic orientations of a graph. This work uses SER to perform constr...
Marluce Rodrigues Pereira, Patrícia Kayser ...
AIME
2003
Springer
14 years 2 months ago
VIE-DIAB: A Support Program for Telemedical Glycaemic Control
Ambulatory care supporting long-term treatment of type I diabetes mellitus (DM) is based on the analysis of daily notes of serum glucose measurements, carbohydrate intake, and insu...
Christian Popow, Werner Horn, Birgit Rami, Edith S...
APN
1994
Springer
14 years 1 months ago
Modelling the Work Flow of a Nuclear Waste Management Program
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
Kjeld Høyer Mortensen, Valerio O. Pinci