922 search results - page 115 / 185 » On a Generalization of the Stone-Weierstrass Theorem |
162
click to vote
ERSHOV
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
137
click to vote
LPNMR
2009
Springer
16 years 22 days ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
152
click to vote
COMPGEOM
2009
ACM
16 years 21 days ago
2009
ACM
A topological graph is a graph drawn in the plane with vertices represented by points and edges as arcs connecting its vertices. A k-grid in a topological graph is a pair of edge ...
153
click to vote
CDC
2008
IEEE
16 years 20 days ago
2008
IEEE
—We consider a multiarmed bandit problem where the expected reward of each arm is a linear function of an unknown scalar with a prior distribution. The objective is to choose a s...
149
click to vote
ICASSP
2008
IEEE
16 years 19 days ago
2008
IEEE
A class of nonlinear transformation-based filters (NLTF) for state estimation is proposed. The nonlinear transformations that can be used include first (TT1) and second (TT2) or...