Sciweavers

1999 search results - page 178 / 400
» Dependently Typed Grammars
Sort
View
HAPTICS
2005
IEEE
16 years 1 days ago
Dynamic Primitive Caching for Haptic Rendering of Large-Scale Models
In this paper we present a software approach to managing complexity for haptic rendering of large-scale geometric models, consisting of tens to hundreds of thousands of distinct g...
Mashhuda Glencross, Roger J. Hubbold, Ben Lyons
CAISE
2005
Springer
15 years 12 months ago
Event-Based Modeling of Evolution for Semantic-Driven Systems
Ontologies play a key role in the realization of the Semantic Web. An ontology is used as an explicit specification of a shared conceptualization of a given domain. When such a dom...
Peter Plessers, Olga De Troyer, Sven Casteleyn
CRYPTO
2005
Springer
135views Cryptology» more  CRYPTO 2005»
15 years 12 months ago
Constant-Round Multiparty Computation Using a Black-Box Pseudorandom Generator
We present a constant-round protocol for general secure multiparty computation which makes a black-box use of a pseudorandom generator. In particular, the protocol does not requir...
Ivan Damgård, Yuval Ishai
UM
2005
Springer
15 years 12 months ago
User- and Community-Adaptive Rewards Mechanism for Sustainable Online Community
Abundance of user contributions does not necessarily indicate sustainability of an online community. On the contrary, excessive contributions in the systems may result in “inform...
Ran Cheng, Julita Vassileva
PAM
2004
Springer
15 years 11 months ago
Structured Errors in Optical Gigabit Ethernet Packets
This paper presents a study of the errors observed when an optical Gigabit Ethernet link is subject to attenuation. We use a set of purpose-built tools which allows us to examine t...
Laura James, Andrew Moore, Madeleine Glick