267 search results - page 6 / 54 » Improving Collaborative Pathfinding Using Map Abstraction |
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
OTM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We propose a virtual teacher for the evaluation of students’ competencies. It aims to improve learning by making personalized suggestions on the learning materials. It ...
ISVC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We propose an improved shape matching algorithm that extends the work of Felzenszwalb [3]. In this approach, we use triangular meshes to represent deformable objects and ...
IEAAIE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. New learning methods are emerging in order to improve and facilitate the use of communication and informatics technologies both by students and professors. This paper des...
CAIP
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. In depth map generation, the settings of the algorithm parameters to yield an accurate disparity estimation are usually chosen empirically or based on unplanned experimen...