1188 search results - page 175 / 238 » Testing Semantics: Connecting Processes and Process Logics |
151
Voted
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
152
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
127
Voted
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present a multi-level recognizer for online Arabic handwriting. In Arabic script (handwritten and printed), cursive writing – is not a style – it is an inher...
113
Voted
ER
2007
Springer
15 years 10 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
199
click to vote
DIAL
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we describe how meta-data of indexation can be extracted from historical document images using an interactive process with a software called AGORA. The algorithms i...