3552 search results - page 563 / 711 » Proof theory in the abstract |
156
click to vote
TSD
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we introduce two ideas for phoneme classification: First, we derive the necessary steps to integrate linear transform into the computation of reproducing ke...
211
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
174
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
171
click to vote
COMJ
2010
15 years 3 months ago
2010
tation of audio is necessarily an abstraction, it has the advantage that the observer can "visit" the image according to her will. For instance, she may see a note having...
147
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This paper demonstrates the effectiveness of simple control-theoretic tools in generating simulation-guided experiments on a synthetic in vitro oscillator. A theoretical...