2373 search results - page 456 / 475 » Towards a Model of Computer Systems Research |
128
Voted
FPCA
1989
15 years 6 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
124
Voted
LREC
2010
15 years 3 months ago
2010
Natural language use, acquisition, and understanding takes place usually in multisensory and multimedia communication environments. Therefore, for one to model language in its int...
207
Voted
GRAPHICSINTERFACE
1996
15 years 3 months ago
1996
We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing computer graphics techniques for simulating fluids and extends t...
105
click to vote
ENTCS
2007
15 years 1 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
117
click to vote
CCR
2005
15 years 1 months ago
2005
There exist a wide variety of network design problems that require a traffic matrix as input in order to carry out performance evaluation. The research community has not had at it...