488 search results - page 75 / 98 » On the Formal Generation of Process Redesigns |
CODES
1999
IEEE
14 years 28 days ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
CICLING
2006
Springer
14 years 10 days ago
2006
Springer
In this paper, the influence of intonation to recognize dialogue acts from speech is assessed. Assessment is based on an empirical approach: manually tagged data from a spoken-dial...
AIPR
2001
IEEE
14 years 8 days ago
2001
IEEE
This paper presents a method to process axial monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only to ...
CONCURRENCY
2007
13 years 8 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
TLDI
2010
ACM
14 years 5 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...