5634 search results - page 400 / 1127 » About Abstract Classes |
154
click to vote
JOLLI
2006
15 years 6 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
127
click to vote
TCSV
2008
15 years 6 months ago
2008
Abstract--Frame buffer power consumption and bandwidth requirement are two critical design issues in MPEG video decoders due to the overwhelming amount of frame data accesses. This...
152
click to vote
JSC
2007
15 years 6 months ago
2007
Abstract. We extend our recent work on set-theoretic solutions of the YangBaxter or braid relations with new results about their automorphism groups, strong twisted unions of solut...
166
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
Abstract-- In an earlier paper [3], we addressed the problem of stabilization of the rolling sphere about any desired configuration. For the controller proposed in [3], we establis...
159
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...