1847 search results - page 145 / 370 » Hybrid Functional Interpretations |
184
click to vote
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
171
click to vote
INDIASE
2009
ACM
16 years 12 days ago
2009
ACM
We describe how development productivity for multi-tier webbased database ‘forms’ oriented applications can be significantly improved using ‘InstantApps’, an interpretive ...
134
click to vote
MFCS
2001
Springer
15 years 10 months ago
2001
Springer
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...
148
click to vote
DICTA
2007
15 years 7 months ago
2007
A scheme, named tower of knowledge (ToK), is proposed for interpreting 3D scenes. The ToK encapsulates causal dependencies between object appearance and functionality. We demonstr...
124
click to vote
ICONIP
2007
15 years 7 months ago
2007
There is no consensus on measuring distances between two different neural network architectures. Two folds of methods are used for that purpose: Structural and behavioral distance ...