1163 search results - page 46 / 233 » Department of Redundancy Department |
DEBU
2010
13 years 7 months ago
2010
In this paper we describe applications, research issues, and approaches related to Intelligent Transportation Systems (ITS). More specifically, we focus on spatio-temporal databas...
ENTCS
2008
13 years 7 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
ENTCS
2008
13 years 7 months ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
IEPOL
2006
13 years 7 months ago
2006
I propose a quantitative methodology to analyze the economic impact of e-government based on structural modeling, allowing for a careful description of the underlying theoretical ...
JAPLL
2008
13 years 7 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...