3954 search results - page 117 / 791 » Image-based Model Completion |
166
click to vote
ENTCS
2008
15 years 5 months ago
2008
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
125
Voted
CG
2004
Springer
15 years 4 months ago
2004
Springer
This work presents a stratification approach for modeling two-dimensional cell complexes. It introduces the concept of combinatorial stratification and uses the Handlebody theory ...
132
click to vote
IACR
2011
14 years 4 months ago
2011
TLS is the most important cryptographic protocol in use today. However, up to now there is no complete cryptographic security proof in the standard model, nor in any other model. ...
135
click to vote
ICIAP
2001
Springer
16 years 5 months ago
2001
Springer
An intermediate representation suitable for the 2-D recognition of the 3-D objects, from a single intensity image is proposed. Determination of the intermediate representation fro...
134
click to vote
ACSD
2009
IEEE
15 years 12 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...