4753 search results - page 195 / 951 » Natural Modelling of Interactive Applications |
134
Voted
CADE
2004
Springer
16 years 2 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
113
click to vote
ECTEL
2008
Springer
15 years 4 months ago
2008
Springer
Interaction analysis can provide information directly to learners and teachers in order to assess and self-regulate their ongoing activity. Omega+ is a generic CSCL system that use...
116
click to vote
ENTCS
2010
15 years 2 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
89
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
For a number of years, dataflow concepts have provided designers of digital signal processing systems with environments capable of expressing high-level software architectures as ...
104
Voted
ICMI
2003
Springer
15 years 7 months ago
2003
Springer
The development of an intelligent user interface that supports multimodal access to multiple applications is a challenging task. In this paper we present a generic multimodal inte...