3378 search results - page 89 / 676 » A universe of binding and computation |
156
click to vote
MDM
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we consider a data model for uncertain trajectories of moving objects. In our model, the trajectory is a vector of uniform stochastic processes. We study “univers...
131
click to vote
ASIACRYPT
1991
Springer
15 years 9 months ago
1991
Springer
g Information with Partial Period Correlations (extendedabstract) Andrew Klapper Mark Goresky Northeastern University, College of Computer Science, Boston, MA 02115, U.S.A.
152
click to vote
ISW
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a universally composable time-stamping scheme based on universal one-way hash functions. The model we use contains an ideal auditing functionality (implementab...
147
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
147
click to vote
PCM
2009
Springer
16 years 25 days ago
2009
Springer
This paper describes a prototype for an installation which combines stereographic video and real-time 3D computer graphic to demonstrate a novel method of documenting dance and oth...