5084 search results - page 362 / 1017 » Proving Possibility Properties |
173
click to vote
BIS
2008
15 years 8 months ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
178
Voted
DLT
2008
15 years 8 months ago
2008
A tree automaton with global tree equality and disequality constraints, TAGED for short, is an automaton on trees which allows to test (dis)equalities between subtrees which may be...
146
click to vote
NIPS
2008
15 years 8 months ago
2008
We study the profit-maximization problem of a monopolistic market-maker who sets two-sided prices in an asset market. The sequential decision problem is hard to solve because the ...
210
click to vote
NIPS
2008
15 years 8 months ago
2008
Actor-critic algorithms for reinforcement learning are achieving renewed popularity due to their good convergence properties in situations where other approaches often fail (e.g.,...
175
click to vote
NETWORKING
2007
15 years 8 months ago
2007
We propose a novel routing framework called PWave that supports multi-source multi-sink anycast routing for wireless sensor networks. A distributed and scalable potential field es...