713 search results - page 90 / 143 » Saving Space by Algebraization |
106
click to vote
FORTE
2007
15 years 2 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
81
Voted
IJCAI
2003
15 years 1 months ago
2003
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...
89
Voted
NIPS
2000
15 years 1 months ago
2000
We propose a method of approximate dynamic programming for Markov decision processes (MDPs) using algebraic decision diagrams (ADDs). We produce near-optimal value functions and p...
93
Voted
ADCM
2007
15 years 20 days ago
2007
By sampling the window of a Gabor frame for L2 (R) belonging to Feichtinger’s algebra, S0(R), one obtains a Gabor frame for l2 (Z). In this article we present a survey of results...
79
Voted
ADCM
2006
15 years 18 days ago
2006
Riemannian cubics are curves used for interpolation in Riemannian manifolds. Applications in trajectory planning for rigid bodiy motion emphasise the group SO(3) of rotations of E...