3844 search results - page 528 / 769 » Modular interpreted systems |
183
click to vote
NORDICHI
2004
ACM
16 years 28 days 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...
198
click to vote
ECCV
2004
Springer
16 years 27 days 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 ...
182
Voted
KELSI
2004
Springer
16 years 26 days 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...
209
Voted
RTA
2004
Springer
16 years 25 days 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...
202
click to vote
ECBS
2003
IEEE
16 years 24 days 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...