Sciweavers

8446 search results - page 375 / 1690
» A Process Compensation Language
Sort
View
ICPR
2000
IEEE
15 years 11 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 10 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
CIKM
2009
Springer
16 years 1 months ago
Bitmap indexes for relational XML twig query processing
Due to an increasing volume of XML data, it is considered prudent to store XML data on an industry-strength database system instead of relying on a domain specific application or...
Kyong-Ha Lee, Bongki Moon
ISSTA
2004
ACM
16 years 7 days ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
ASIAN
1998
Springer
118views Algorithms» more  ASIAN 1998»
15 years 11 months ago
Bisimulation Lattice of Chi Processes
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
Yuxi Fu