1729 search results - page 89 / 346 » Practical Temporal Projection |
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
Human action video sequences can be considered as nonlinear dynamic shape manifolds in the space of image frames. In this paper, we address learning and classifying human actions ...
DBA
2004
2004
A Tool for Transforming Conceptual Schemas of Spatio-Temporal Databases with Multiple Representation
13 years 10 months ago
Nowadays, classical conceptual models (such as ER or UML) are used for designing database applications. These classical conceptual models usually come with associated CASE tools a...
IJON
2007
13 years 9 months ago
2007
A quantitative model of auditory learning is presented to predict how auditory patterns are stored in the songbird auditory forebrain. This research focuses on the caudomedial nid...
TASLP
2010
13 years 7 months ago
2010
—This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our ...