42 search results - page 7 / 9 » An interpolation theorem |
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
SAT
2010
Springer
13 years 11 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
KR
2010
Springer
14 years 5 days ago
2010
Springer
Recent years have seen the advent of large and complex ontologies, most notably in the medical domain. As a consequence, structuring mechanisms for ontologies are nowadays viewed ...
ADCM
2006
13 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...
ASPDAC
2010
ACM
13 years 5 months ago
2010
ACM
Abstract-- We develop a rational function macromodeling algorithm named VISA (Versatile Impulse Structure Approximation) for macromodeling of system responses with (discrete) time-...