Sciweavers

2714 search results - page 237 / 543
» On the Notion of Value Object
Sort
View
IJNSEC
2008
92views more  IJNSEC 2008»
15 years 6 months ago
Re-visiting the One-Time Pad
In 1949, Shannon proved the perfect secrecy of the Vernam cryptographic system (One-Time Pad or OTP). It has generally been believed that the perfectly random and uncompressible O...
Nithin Nagaraj, Vivek Vaidya, Prabhakar G. Vaidya
ENTCS
2007
92views more  ENTCS 2007»
15 years 6 months ago
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
Clemens Grabmayer
ACS
2005
15 years 6 months ago
Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched ...
Isar Stubbe
VC
2008
94views more  VC 2008»
15 years 6 months ago
Virtual world explorations by using topological and semantic knowledge
This paper is dedicated to virtual world exploration techniques. Automatic camera control is important in many fields as computational geometry, visual servoing, robot motion, grap...
Dmitry Sokolov, Dimitri Plemenos
PRESENCE
1998
102views more  PRESENCE 1998»
15 years 6 months ago
Presence as Being-in-the-World
An alternative view of presence is introduced based on existential philosophy and ecological psychology. This view favors a Heideggerian/Gibsonian metaphysic over the more convent...
Pavel Zahorik, Rick L. Jenison