This paper presents a novel framework of hybrid camera pose tracking system for outdoor navigation system. Traditional vision based or inertial sensor based solutions are mostly d...
Francisco Lamosa, Hanqing Lu, Keiichi Uchimura, Zh...
The forward checking algorithm for solving constraint satisfaction problems is a popular and successful alternative to backtracking. However, its successhas largely been determined...
In this paper we describe a novel approach for searching large data sets from a mobile phone. Existing interfaces for mobile search require keyword text entry and are not suited f...
Amy K. Karlson, George G. Robertson, Daniel C. Rob...
This paper demonstrates how stereotypic student groups can be created to enhance cognitive models in computer tutors. Computer tutors use cognitive models to track what skills stud...
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...