Sciweavers

1209 search results - page 160 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
FM
2009
Springer
154views Formal Methods» more  FM 2009»
14 years 9 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
QEST
2006
IEEE
15 years 5 months ago
UPPAAL 4.0
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...
ACL
2004
15 years 1 months ago
Applying Machine Learning to Chinese Temporal Relation Resolution
Temporal relation resolution involves extraction of temporal information explicitly or implicitly embedded in a language. This information is often inferred from a variety of inte...
Wenjie Li, Kam-Fai Wong, Guihong Cao, Chunfa Yuan
GECCO
2004
Springer
179views Optimization» more  GECCO 2004»
15 years 5 months ago
An Evolutionary Meta Hierarchical Scheduler for the Linux Operating System
Abstract. The need for supporting CSCW applications with heterogeneous and varying user requirements calls for adaptive and reconfigurable schedulers accommodating a mixture of re...
Horst Wedde, Muddassar Farooq, Mario Lischka
COMPSAC
1997
IEEE
15 years 4 months ago
Classifying Architectural Elements as a Foundation for Mechanism Matching
Building a system at the architectural level can be thought of as decomposition into components followed by a series of exercises in matching. Components must be composed with eac...
Rick Kazman, Paul C. Clements, Leonard J. Bass, Gr...