3844 search results - page 528 / 769 » Modular interpreted systems |
158
click to vote
NORDICHI
2004
ACM
16 years 9 hour ago
2004
ACM
This talk discusses how to strike a good balance between making the user an active co-constructor of system functionality versus making a too strong, interpretative design that do...
172
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
Mixed Reality (MR) opens a new dimension for Human Computer Interaction (HCI). Combined with computer vision (CV) techniques, it is possible to create advanced input devices. This ...
155
click to vote
KELSI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes the problem of modelling toxicity of environmental pollutants using molecular descriptors from a systems theoretical viewpoint. It is shown that curr...
183
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
170
click to vote
ECBS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...