1982 search results - page 167 / 397 » Parametricity and dependent types |
181
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Key frames play an important role in video abstraction. Clustering is a popular approach for key-frame extraction. In this paper, we propose a novel method for key-frame extractio...
136
click to vote
PRDC
2006
IEEE
16 years 18 days ago
2006
IEEE
End-to-end consensus ensures delivery of the same value to the application layer running in distributed processes. Deliveries that have not been acknowledged by the application be...
152
click to vote
HAPTICS
2005
IEEE
16 years 6 days ago
2005
IEEE
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...
191
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
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...
185
click to vote
CRYPTO
2005
Springer
16 years 3 days ago
2005
Springer
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...