8874 search results - page 53 / 1775 » A New Implementation of Automath |
AUSAI
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
ETS
2000
IEEE
13 years 10 months ago
2000
IEEE
The paper provides an insight into the changing nature of the learning process through the adoption of interactive new media solutions into a traditional University Campus. The us...
AROBOTS
2004
13 years 11 months ago
2004
The swarm intelligence paradigm has proven to have very interesting properties such as robustness, flexibility and ability to solve complex problems exploiting parallelism and self...
ICIP
2001
IEEE
15 years 18 days ago
2001
IEEE
New algorithms for computing the Discrete Fourier Transform (DFT) spectra along different directions are derived and implemented. For computing the DFT spectrum along any given di...
SIGCOMM
2009
ACM
14 years 5 months ago
2009
ACM
As virtualized data-centres become the back-end platforms behind a new generation of utility and cloud computing infrastructures (such as AmazonAWS [1]) their multi-tenancy, scale...