Sciweavers

1932 search results - page 223 / 387
» Designing with Haptic Feedback
Sort
View
EDUTAINMENT
2006
Springer
15 years 10 months ago
Dynamic User Modeling for Sketch-Based User Interface
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
Zhengxing Sun, Bin Li, Qiang Wang, Guihuan Feng
ASPDAC
2001
ACM
81views Hardware» more  ASPDAC 2001»
15 years 10 months ago
High-level specification and efficient implementation of pipelined circuits
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
Maria-Cristina V. Marinescu, Martin C. Rinard
CDC
2009
IEEE
183views Control Systems» more  CDC 2009»
15 years 10 months ago
Switching controller for stabilization of linear systems with switched time-varying delays
This paper considers interval time-varying delay systems with delayed estimation of the delay. This case is often encountered in the Networked Control Systems (NCS) field. Based on...
Wenjuan Jiang, Emilia Fridman, Alexandre Kruszewsk...
FLAIRS
2006
15 years 7 months ago
Evaluation of the q-matrix Method in Understanding Student Logic Proofs
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
Tiffany Barnes
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 7 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson