483 search results - page 77 / 97 » Parikh Mapping and Iteration |
CAV
1998
Springer
14 years 2 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
ASPDAC
2007
ACM
14 years 2 months ago
2007
ACM
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...
ERLANG
2007
ACM
14 years 1 months ago
2007
ACM
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
3DPVT
2004
IEEE
2004
IEEE
Projection Model, 3D Reconstruction and Rigid Motion Estimation from Non-Central Catadioptric Images
14 years 1 months ago
This paper addresses the problem of rigid motion estimation and 3D reconstruction in vision systems where it is possible to recover the incident light ray direction from the image...