1398 search results - page 135 / 280 » Ensuring Properties of Interaction Systems |
135
click to vote
MC
2001
15 years 6 months ago
2001
The growing popularity of computers in all areas of daily life leads to the situation that an increasing number of people with diverse know-how of computers and software use these...
128
click to vote
IJVR
2006
15 years 4 months ago
2006
Three-dimensional user interfaces (3D UIs) support user tasks in many non-traditional interactive systems such as virtual environments, augmented reality, and ubiquitous computing...
135
click to vote
CAEPIA
2003
Springer
15 years 10 months ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
131
click to vote
ENTCS
2007
15 years 4 months ago
2007
The aim of the paper is to revisit the model of Biological Regulatory Networks (BRN) which was proposed by René Thomas to model the interactions between a set of genes. We give a...
133
click to vote
KI
2002
Springer
15 years 4 months ago
2002
Springer
This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...