1264 search results - page 27 / 253 » Towards Theory Translation |
FUZZY
2001
Springer
14 years 1 months ago
2001
Springer
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 25 days ago
1992
Springer
FOCS
1992
IEEE
14 years 25 days ago
1992
IEEE
