357 search results - page 45 / 72 » Isomorphism via translation |
EUROCRYPT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
MICCAI
2001
Springer
15 years 4 months ago
2001
Springer
We present preliminary work on a novel technique for tracking anatomical structures during medical procedures. A vascular balloon catheter is placed within a vessel in the structur...
102
click to vote
NLPRS
2001
Springer
15 years 4 months ago
2001
Springer
Translating news articles frequently involves finding foreign language equivalents for proper nouns occurring for the first time in an original article, a time-consuming and labor...
118
click to vote
ER
1998
Springer
15 years 4 months ago
1998
Springer
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
104
click to vote
FOIKS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...