1350 search results - page 39 / 270 » Reasoning about Staged Computation |
104
click to vote
KI
2010
Springer
14 years 8 months ago
2010
Springer
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
ICSE
2007
IEEE-ACM
15 years 4 months ago
2007
IEEE-ACM
Software and the computational behaviors it defines are increasingly important sources of both economic costs and benefits for companies, governments and individuals. Nevertheless...
TGC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
PG
2003
IEEE
15 years 3 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...
ECBS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...