Sciweavers

4345 search results - page 63 / 869
» Temporal Constraint Networks
Sort
View
FMOODS
2000
13 years 11 months ago
On a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
BPSC
2009
152views Business» more  BPSC 2009»
13 years 11 months ago
A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
Denis Gagné, André Trudel
ATAL
2009
Springer
14 years 4 months ago
Distributed constraint optimization with structured resource constraints
Distributed constraint optimization (DCOP) provides a framework for coordinated decision making by a team of agents. Often, during the decision making, capacity constraints on age...
Akshat Kumar, Boi Faltings, Adrian Petcu
IV
2009
IEEE
155views Visualization» more  IV 2009»
14 years 4 months ago
Visualizing Temporal Dynamics at the Genomic and Metabolic Level
We present an application for integrated visualization of gene expression data from time series experiments in gene regulation networks and metabolic networks. Such integration is...
Romain Bourqui, Michel A. Westenberg
TIT
2008
54views more  TIT 2008»
13 years 10 months ago
Exponential Diversity Achieving Spatio-Temporal Power Allocation Scheme for Fading Channels
In this paper, we analyze optimal (in space and time) adaptive power transmission policies for fading channels when the channel-state information (CSI) at the transmitter (CSIT) an...
Vinod Sharma, Karumbu Premkumar, Raghava N. Swamy