11160 search results - page 2060 / 2232 » Incompleteness in a General Setting |
128
click to vote
CICLING
2003
Springer
15 years 9 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
136
click to vote
CIKM
2003
Springer
15 years 9 months ago
2003
Springer
Out of vocabulary (OOV) words are problematic for cross language information retrieval. One way to deal with OOV words when the two languages have different alphabets, is to trans...
149
click to vote
COCOON
2003
Springer
15 years 9 months ago
2003
Springer
Drugs and other chemical compounds are often modeled as polygonal shapes, where each vertex represents an atom of the molecule, and covalent bonds between atoms are represented by...
143
click to vote
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
137
click to vote
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
A new public-key model for resettable zero-knowledge (rZK) protocols, which is an extension and generalization of the upper-bounded public-key (UPK) model introduced by Micali and ...