Multiple spatially-related videos are increasingly used in security, communication, and other applications. Since it can be difficult to understand the spatial relationships betwee...
Yi Wang, David A. Krum, Enylton M. Coelho, Doug...
What happens to human-computer "interaction" when the human user is no longer alive? This exploratory paper uses insights from the critical humanist tradition to argue f...
Personalization of learning has become a prominent issue in the educational field, at various levels. This article elaborates a different view on personalisation than what usually ...
Dominique Verpoorten, Christian Glahn, Milos Kravc...
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas ...
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...