Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
10 years 11 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
WSCG
2004
264views more  WSCG 2004»
11 years 3 months ago
Image Registration Exploiting Five-Point Coplanar Perspective Invariant and Maximum-Curvature Point
Image registrations have been a subject of extensive study over the last decade. They appear in numerous applications including Computer Vision, Pattern Recognition, Medical Image...
Parichart Putjarupong, Chuchart Pintavirooj, Witha...
FMOODS
2003
11 years 3 months ago
Proof Scores in the OTS/CafeOBJ Method
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
Kazuhiro Ogata, Kokichi Futatsugi
VR
2003
IEEE
11 years 6 months ago
Optical Tracking Using Projective Invariant Marker Pattern Properties
In this paper, we describe a new optical tracker algorithm for the tracking of interaction devices in virtual and augmented reality. The tracker uses invariant properties of marke...
Robert van Liere, Jurriaan D. Mulder
OTM
2004
Springer
11 years 7 months ago
Literate Ontology Development
To achieve sharing and reuse for sustainable development, documents are semantically interrelated by ontologies, specified formally using the specification language Casl. The spe...
Achim Mahnke, Bernd Krieg-Brückner
IJCNN
2006
IEEE
11 years 7 months ago
Training Reformulated Product Units in Hybrid Neural Networks
— Higher order networks allow modelling of correlates and geometrically invariant properties. Current techniques for their development either require domain knowledge, or are con...
Philip T. Elliott, Diven Topiwala, Will N. Browne
AVSS
2006
IEEE
11 years 7 months ago
Dissecting the Image of the Absolute Conic
In this paper, we revisit the role of the image of the absolute conic (IAC) in recovering the camera geometry. We derive new constraints on IAC that advance our understanding of i...
Imran N. Junejo, Hassan Foroosh
books