Sciweavers

8008 search results - page 324 / 1602
» Computer-Aided Language Processing
Sort
View
138
Voted
PADL
2012
Springer
13 years 11 months ago
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, off-t...
Kenny Qili Zhu, Kathleen Fisher, David Walker
136
Voted
CAISE
2001
Springer
15 years 8 months ago
Relaxed Soundness of Business Processes
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
Juliane Dehnert, Peter Rittgen
ICALP
2004
Springer
15 years 9 months ago
Towards an Algebraic Theory of Typed Mobile Processes
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
Yuxin Deng, Davide Sangiorgi
ICPR
2000
IEEE
15 years 8 months ago
Stochastic Error-Correcting Parsing for OCR Post-Processing
In this paper, stochastic error-correcting parsing is proposed as a powerful and flexible method to post-process the results of an optical character recognizer (OCR). Determinist...
Juan Carlos Pérez-Cortes, Juan-Carlos Ameng...
CAISE
1995
Springer
15 years 7 months ago
Process Improvement - The Way Forward
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
M. M. Lehman