Abstract—In the analysis of spatially-referenced timedependent
data, gaining an understanding of the spatiotemporal
distributions and relationships among the attributes
in the...
This paper reports on an empirical study that uses a Grounded Theory approach to investigate the creative practices of Machinima filmmakers. Machinima is a new digital film produc...
Nicholas Davis, Boyang Li, Brian O'Neill, Mark Rie...
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
—Traditionally, simultaneous localization and mapping (SLAM) algorithms solve the localization and mapping problem in explored regions. This paper presents a prediction-based SLA...
H. Jacky Chang, C. S. George Lee, Yung-Hsiang Lu, ...
In June and July 1997, Nomad, a planetary-relevant mobile robot, traversed more than 220 kilometers across the barren Atacama Desert in Chile, exploring a landscape analogous to t...
Deepak Bapna, Eric Rollins, John Murphy, Mark W. M...