Abstract. We introduce a new axiomatization of oriented matroids that requires the elimination property only among modular pairs of circuits. This new point of view leads also to a...
“Gamification” is an informal umbrella term for the use of video game elements in non-gaming systems to improve user experience (UX) and user engagement.
Sebastian Deterding, Miguel Sicart, Lennart Nacke,...
How important is a particular object in a photograph of a complex scene? We propose a definition of importance and present two methods for measuring object importance from human o...
— This paper defines and analyzes a simple robot with local sensors that moves in an unknown polygonal environment. The robot can execute wall-following motions and can traverse...
The notions of ultrametric distances and cyclic valuations appear when the set of values of the distance map is a cyclically ordered set. These structures can be described as subsp...