118
click to vote
FOSSACS
2016
Springer
10 years 1 months ago
2016
Springer
We study an extension of classical Petri nets where tokens carry values from a countable data domain, that can be tested for equality upon firing transitions. These Unordered Data...
218
click to vote
FOIKS
2016
Springer
10 years 1 months ago
2016
Springer
The ability of an agent to make quick, rational decisions in an uncertain environment is paramount for its applicability in realistic settings. Markov Decision Processes (MDP) prov...
370
click to vote
FOCM
2016
10 years 1 months ago
2016
We give necessary and sufficient conditions in terms of sign vectors for the injectivity of families of polynomial maps with arbitrary real exponents defined on the positive orth...
353
click to vote
FOCM
2016
10 years 1 months ago
2016
The method of alternating projections is a classical tool to solve feasibility problems. Here we prove local convergence of alternating projections between subanalytic sets A, B u...
372
click to vote
FOCM
2016
10 years 1 months ago
2016
We rigorously study a novel type of trigonometric Fourier collocation methods for solving multi-frequency oscillatory second-order ordinary differential equations (ODEs) q (t) + M...