2664 search results - page 21 / 533 » Theory by Process |
ICIAP
1997
ACM
14 years 2 days ago
1997
ACM
Image formation of a two-dimensional input image can be quantified by imposing an image induced connection and computing the associated torsion and curvature. The latter aspects of...
CSLP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents the basis of Property Grammars, a fully constraintbased theory. In this approach, all kinds of linguistic information is represented by means of const...
ITS
2004
Springer
14 years 1 months ago
2004
Springer
This paper introduces the rationale for concrete situations in the authoring process that can exploit a theory-aware Authoring Environment. It illustrates how Ontological Engineeri...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
IVC
1998
13 years 7 months ago
1998
This paper discusses an extension to the inverse perspective mapping geometrical transform to the processing of stereo images and presents the calibration method used on the ARGO ...