Sciweavers

1496 search results - page 236 / 300
» Introducing Speech and Language Processing
Sort
View
152
Voted
ICALP
2005
Springer
15 years 9 months ago
Weighted Automata and Weighted Logics
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
Manfred Droste, Paul Gastin
118
Voted
SOCO
2005
Springer
15 years 9 months ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
173
Voted
AACC
2004
Springer
15 years 9 months ago
Using Document Dimensions for Enhanced Information Retrieval
Conventional document search techniques are constrained by attempting to match individual keywords or phrases to source documents. Thus, these techniques miss out documents that co...
Thimal Jayasooriya, Suresh Manandhar
134
Voted
CONCUR
2004
Springer
15 years 9 months ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes
127
Voted
IJCNLP
2004
Springer
15 years 9 months ago
Causal Relation Extraction Using Cue Phrase and Lexical Pair Probabilities
This work aims to extract causal relations that exist between two events expressed by noun phrases or sentences. The previous works for the causality made use of causal patterns su...
Du-Seong Chang, Key-Sun Choi