4166 search results - page 182 / 834 » Automating the constraining process |
146
click to vote
PG
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper a system is presented which automatically registers and stitches textures acquired from multiple photographic images onto the surface of a given corresponding 3D mod...
116
Voted
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
118
click to vote
HICSS
1994
IEEE
15 years 7 months ago
1994
IEEE
Compensation is the process by which a committed transaction in a database is undone by running the semantic inverse of that transaction on the database. Compensation has been pro...
111
click to vote
FGR
2004
IEEE
15 years 6 months ago
2004
IEEE
We develop a new model-based extraction process guided by biomechanical analysis for walking people, and analyse its data for recognition capability. Hierarchies of shape and moti...
130
click to vote
CRYPTO
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...