1190 search results - page 26 / 238 » The Continuing Quest for Abstraction |
AAMAS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In agent-based computational economics, many different trading strategies have been proposed. Given the kinds of market that such trading strategies are employed in, it i...
CPAIOR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This article first introduces an extension of the classical cumulative constraint: each task is no more a rectangle but rather a sequence of contiguous trapezoid sub-tas...
EMMCVPR
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We propose two differential geometric representations of planar shapes using: (i) direction functions and (ii) curvature functions, of their boundaries. Under either rep...
FORMATS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Continuous-time Markov decision process are an important variant of labelled transition systems having nondeterminism through labels and stochasticity through exponential...
ENTCS
2006
13 years 9 months ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...