3844 search results - page 27 / 769 » Modular interpreted systems |
ICVS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...
ICPR
2000
IEEE
14 years 9 months ago
2000
IEEE
KPN Research has developed an all-purpose check recognition system for the Dutch Postbank. This Image Recognition and Interpretation System (IRIS) is the result of more than thirt...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
COLING
2002
13 years 8 months ago
2002
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...