3844 search results - page 528 / 769 » Modular interpreted systems |
169
Voted
NORDICHI
2004
ACM
16 years 15 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...
187
click to vote
ECCV
2004
Springer
16 years 14 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 ...
171
click to vote
KELSI
2004
Springer
16 years 13 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...
204
Voted
RTA
2004
Springer
16 years 13 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...
189
Voted
ECBS
2003
IEEE
16 years 11 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...