1349 search results - page 30 / 270 » Towards a theory of events |
TIME
2000
IEEE
14 years 1 months ago
2000
IEEE
We present a data model for movies and movie databases. A movie is considered to be a 2-dimensional semialgebraic figure that can change in time. We give a number of computabilit...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
CONCUR
1992
Springer
14 years 24 days ago
1992
Springer
FOCS
1992
IEEE
14 years 24 days ago
1992
IEEE
PODS
1994
ACM
14 years 24 days ago
1994
ACM