Sciweavers

3707 search results - page 101 / 742
» A Simple Technique for Self-Calibration
Sort
View
CONCUR
2009
Springer
14 years 7 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...
EMNLP
2009
14 years 7 months ago
Segmenting Email Message Text into Zones
In the early days of email, widely-used conventions for indicating quoted reply content and email signatures made it easy to segment email messages into their functional parts. To...
Andrew Lampert, Robert Dale, Cécile Paris
EMNLP
2009
14 years 7 months ago
Semi-supervised Speech Act Recognition in Emails and Forums
In this paper, we present a semi-supervised method for automatic speech act recognition in email and forums. The major challenge of this task is due to lack of labeled data in the...
Minwoo Jeong, Chin-Yew Lin, Gary Geunbae Lee
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
14 years 7 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
GI
2009
Springer
14 years 7 months ago
Test your Strategy - Intuitive Strategy Definition and Evaluation for Novices and Experts
: ConnectIT uses a graphical representation to express strategies for playing the connect-four game. With this tool we can transfer complex knowledge about the connect-four game it...
Sven Jörges, Marco Bakera, Tiziana Margaria, ...