2972 search results - page 586 / 595 » Representing the Knowledge of a Robot |
EUROPAR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Current multicore computers differ in many hardware aspects. Tuning parallel applications is indispensable to achieve best performance on a particular hardware platform....
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
JAIR
2010
14 years 8 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
94
Voted
JCS
2010
14 years 8 months ago
2010
Public-key cryptography can uniquely enable trust within distributed settings. Employing it usually requires deploying a set of tools and services collectively known as a public k...
LOGCOM
2010
14 years 8 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...