Sciweavers

6153 search results - page 161 / 1231
» Modeling Cyclic Change
Sort
View
ECAI
2004
Springer
15 years 11 months ago
Representing Beliefs in the Fluent Calculus
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
Yi Jin, Michael Thielscher
ISIPTA
2003
IEEE
127views Mathematics» more  ISIPTA 2003»
15 years 11 months ago
Climate Projections for the 21st Century Using Random Sets
We apply random set theory to an analysis of future climate change. Bounds on cumulative probability are used to quantify uncertainties in natural and socio-economic factors that ...
Elmar Kriegler, Hermann Held
ICSE
1999
IEEE-ACM
15 years 10 months ago
Software Process Support over the Internet
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...
Frank Maurer, Giancarlo Succi, Harald Holz, Boris ...
ETT
2002
142views Education» more  ETT 2002»
15 years 6 months ago
Adaptive state- dependent importance sampling simulation of markovian queueing networks
In this paper, a method is presented for the efficient estimation of rare-event (buffer overflow) probabilities in queueing networks using importance sampling. Unlike previously pr...
Pieter-Tjerk de Boer, Victor F. Nicola
TCS
2011
15 years 1 months ago
Sorting and selection on dynamic data
We formulate and study a new computational model for dynamic data. In this model, the data changes gradually and the goal of an algorithm is to compute the solution to some proble...
Aris Anagnostopoulos, Ravi Kumar, Mohammad Mahdian...