3573 search results - page 198 / 715 » Reasoning about Codata |
131
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
I argue that computer graphics can benefit from a deeper use of machine learning techniques. I give an overview of what learning has to offer the graphics community, with an emph...
169
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
151
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
148
click to vote
HCW
1998
IEEE
15 years 10 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
158
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
This paper provides general information about research at the University of Auckland into autonomous agents in highly dynamic environments, in particular in RoboCup. The paper desc...