6155 search results - page 829 / 1231 » A language for multiple models of computation |
179
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
155
click to vote
APAL
2005
15 years 6 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
190
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical “soft skills...
189
click to vote
NETGAMES
2004
ACM
16 years 9 days ago
2004
ACM
Large-scale multiplayer online games require considerable investment in hosting infrastructures. However, the difficulty of predicting the success of a new title makes investing ...
162
click to vote
SI3D
2010
ACM
16 years 5 days ago
2010
ACM
Path planning is an active topic in the literature, and efficient navigation over non-planar surfaces is an open research question. In this work we present a novel technique for ...