Sciweavers

4353 search results - page 235 / 871
» Expressiveness of Process Algebras
Sort
View
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
15 years 4 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
IJCNLP
2005
Springer
16 years 1 days ago
CTEMP: A Chinese Temporal Parser for Extracting and Normalizing Temporal Information
Temporal information is useful in many NLP applications, such as information extraction, question answering and summarization. In this paper, we present a temporal parser for extra...
Mingli Wu, Wenjie Li, Qin Lu, Baoli Li
ML
2000
ACM
103views Machine Learning» more  ML 2000»
15 years 6 months ago
Nonparametric Time Series Prediction Through Adaptive Model Selection
We consider the problem of one-step ahead prediction for time series generated by an underlying stationary stochastic process obeying the condition of absolute regularity, describi...
Ron Meir
ICIP
2007
IEEE
16 years 25 days ago
Estimation and Analysis of Facial Animation Parameter Patterns
We propose a framework for estimation and analysis of temporal facial expression patterns of a speaker. The proposed system aims to learn personalized elementary dynamic facial ex...
Ferda Ofli, Engin Erzin, Yucel Yemez, A. Murat Tek...
FOSSACS
2010
Springer
16 years 1 months ago
CIA Structures and the Semantics of Recursion
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
Stefan Milius, Lawrence S. Moss, Daniel Schwencke