700 search results - page 17 / 140 » Towards a theory of |
FOSSACS
2003
Springer
14 years 1 months ago
2003
Springer
FUZZY
2001
Springer
14 years 10 days ago
2001
Springer
TIME
2000
IEEE
14 years 7 days 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 4 days 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
13 years 12 months ago
1992
Springer
