4352 search results - page 260 / 871 » A Representation Theorem and Applications |
201
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
165
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
147
Voted
ADCM
2006
15 years 7 months 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...
243
click to vote
ALGORITHMICA
2006
15 years 7 months ago
2006
We use large deviations to prove a general theorem on the asymptotic edge-weighted height Hn of a large class of random trees for which Hn c log n for some positive constant c. A...
175
click to vote
ENTCS
2008
15 years 7 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...