Sciweavers

4235 search results - page 333 / 847
» Processes in Space
Sort
View
VL
2007
IEEE
125views Visual Languages» more  VL 2007»
16 years 29 days ago
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
Benedek Nagy, Sándor Vályi
ICALT
2006
IEEE
16 years 23 days ago
Effective Analysis and Design of Computer-Supported Learning System
The analysis phase constitutes an essential step in the development of information systems. Nevertheless, learning materials design activities currently have reduced the analysis ...
David Díez Cebollero, Camino Fernánd...
ICALT
2005
IEEE
16 years 9 days ago
The Effect of Interactivity on Web-Based Instruction Learners' Attitude, Satisfaction, and Performances
The Internet breaks the limitations of time and space and provides a flexible platform for learning. Learning is a two-way communication and interactivity is a process to enhance ...
Juei-ni Sun, Yu-chen Hsu
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 6 days ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
AISC
2004
Springer
16 years 3 days ago
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
Laurent Granvilliers, Mina Ouabiba