1626 search results - page 106 / 326 » Computing the Types of the Relationships between Autonomous ... |
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. In this paper we suggest a strategy to design job scheduling systems. To this end, we first split a scheduling system into three components: Scheduling policy, objective ...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
ACMDIS
2006
ACM
14 years 2 months ago
2006
ACM
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...
IIE
2008
13 years 8 months ago
2008
The educational system in Austria is very multifaceted, and academic secondary schools represent an important part in it. This type of schools, in German called "Gymnasium&quo...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...