Sciweavers

219 search results - page 23 / 44
» Designing and Evaluating a Haptic System for Biomolecular Ed...
Sort
View
GRAPHICSINTERFACE
2007
13 years 9 months ago
A mixing board interface for graphics and visualization applications
We use a haptically enhanced mixing board with a video projector as an interface to various data visualization tasks. We report results of an expert review with four participants,...
Matthew Crider, Steven Bergner, Thomas N. Smyth, T...
DESRIST
2009
Springer
110views Education» more  DESRIST 2009»
14 years 5 days ago
Towards a paradigmatic shift in IS: designing for social practice
The paper elaborates on the theoretical foundation of Information System understood as a field of design science. Revisiting Hevner’s et al. seminal paper [44], we elaborate on ...
Markus Rohde, Gunnar Stevens, Peter Brödner, ...
JCDL
2005
ACM
160views Education» more  JCDL 2005»
14 years 1 months ago
SpidersRUs: automated development of vertical search engines in different domains and languages
In this paper we discuss the architecture of a tool designed to help users develop vertical search engines in different domains and different languages. The design of the tool is ...
Michael Chau, Jialun Qin, Yilu Zhou, Chunju Tseng,...
CORR
2008
Springer
155views Education» more  CORR 2008»
13 years 7 months ago
Software dependability modeling using an industry-standard architecture description language
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, ...
CORR
2011
Springer
173views Education» more  CORR 2011»
13 years 2 months ago
Linear Dependent Types and Relative Completeness
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
Ugo Dal Lago, Marco Gaboardi