Sciweavers

1307 search results - page 106 / 262
» Conceptual models: begin by designing what to design
Sort
View
VIS
2007
IEEE
164views Visualization» more  VIS 2007»
14 years 9 months ago
Contextualized Videos: Combining Videos with Environment Models to Support Situational Understanding
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...
CHI
2009
ACM
14 years 8 months ago
Dying, death, and mortality: towards thanatosensitivity in HCI
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...
Michael Massimi, Andrea Charise
ECTEL
2009
Springer
14 years 2 months ago
Personalisation of Learning in Virtual Learning Environments
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...
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
14 years 5 months ago
Requirements and Concepts for Transaction Level Assertions
— 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 ...
SAT
2010
Springer
158views Hardware» more  SAT 2010»
14 years 2 days ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos