6599 search results - page 36 / 1320 » Towards a Theory of Information |
148
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
FOSSACS
2003
Springer
15 years 7 months ago
2003
Springer
142
Voted
FUZZY
2001
Springer
15 years 6 months ago
2001
Springer
106
click to vote
TIME
2000
IEEE
15 years 6 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...
123
Voted
LICS
1999
IEEE
15 years 6 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...