8008 search results - page 230 / 1602 » Computer-Aided Language Processing |
130
click to vote
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
114
click to vote
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
109
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
Kahn process networks (KPNs) are a programming paradigm suitable for streaming-based multimedia and signal-processing applications. We discuss the execution of KPNs, and the criter...
125
Voted
WECWIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Complex Event Processing (CEP) systems are capable of processing large amounts of events, utilizing them to monitor, steer and optimize business in real time. The lack of tracking...
128
click to vote
LTCONF
2007
Springer
15 years 9 months ago
2007
Springer
The Polish text corpus was analysed to find information about phoneme statistics. We were especially interested in triphones as they are commonly used in many speech processing a...