1124 search results - page 13 / 225 » Future Challenges |
135
click to vote
CSREASAM
2007
15 years 3 months ago
2007
- The era of new wireless communications is upon us. Eventually it will penetrate into our daily life and change the way we live just like many technological innovations whose orig...
112
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
128
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
139
click to vote
IFM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
MRC
2003
15 years 3 months ago
2003
In this paper, we describe Lewis the Graduate Student, Washington University’s entry in the AAAI Mobile Robot Competition Challenge Event. Lewis successfully completed a modifi...