2957 search results - page 215 / 592 » Processing Self Corrections |
CICLING
2007
Springer
14 years 3 months ago
2007
Springer
Although the literature contains reports of very high accuracy figures for the recognition of named entities in text, there are still some named entity phenomena that remain probl...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
CICLING
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents the design and development of a system for the detection and correction of syntactic errors in free texts. The system is composed of three main modules: a) a ro...
SPIN
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
BPM
2006
Springer
14 years 1 months ago
2006
Springer
Current approaches for proving the correctness of business processes focus on either soundness, weak soundness, or relaxed soundness. Soundness states that each activity should be ...