Sciweavers

7109 search results - page 157 / 1422
» Process Algebra with Combinators
Sort
View
137
Voted
TCS
2010
14 years 10 months ago
Definable transductions and weighted logics for texts
A text is a word together with an additional linear order on it. We study quantitative models for texts, i.e. text series which assign to texts elements of a semiring. We introduc...
Christian Mathissen
126
Voted
SIGMOD
2004
ACM
105views Database» more  SIGMOD 2004»
16 years 3 months ago
Query Processing for SQL Updates
A rich set of concepts and techniques has been developed in the context of query processing for the efficient and robust execution of queries. So far, this work has mostly focused...
César A. Galindo-Legaria, Stefano Stefani, ...
CEC
2009
IEEE
15 years 10 months ago
Mobile processes, mobile channels and complex dynamic systems
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
Eric Bonnici, Peter H. Welch
129
Voted
ICASSP
2010
IEEE
15 years 3 months ago
Hypothesis ranking and two-pass approaches for machine translation system combination
Given a number of machine translations of a source segment, the goal of system combination is to produce a new translation that has better quality than all of them. This paper des...
Damianos Karakos, Jason Smith, Sanjeev Khudanpur
ICDCSW
2007
IEEE
15 years 10 months ago
Event Stream Processing with Out-of-Order Data Arrival
Complex event processing has become increasingly important in modern applications, ranging from supply chain management for RFID tracking to real-time intrusion detection. The goa...
Ming Li, Mo Liu, Luping Ding, Elke A. Rundensteine...