The Virginia Tech Department of Computer Science (VT CS) and the University of North Carolina at Chapel Hill School of Information and Library Science (UNC SILS) have launched a c...
Jeffrey Pomerantz, Barbara M. Wildemuth, Seungwon ...
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical āsoft skillsā...
abstract painting and practice can benefit information visualizationāeven though the two ļ¬elds have significantly different objectives. This comparison reļ¬ects the spirit of ...
: Ground target surveillance is getting a more and more important task, for civil as for military applications. Ground targets may be bound to infrastructural constraints, like veh...
Abstract. We present Beem ā BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...