3771 search results - page 395 / 755 » Subobject Transformation Systems |
142
Voted
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
124
Voted
MHCI
2004
Springer
15 years 10 months ago
2004
Springer
We describe the implementation of an interaction technique which allows users to store and retrieve information and computational functionality on different parts of their body. W...
147
Voted
MLMI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper a system that transforms speech waveforms to animated faces are proposed. The system relies on continuous state space models to perform the mapping, this makes it po...
138
Voted
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
175
click to vote
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the problem of scheduling realtime dwells in multi-function phase array radar systems. To keep track of targets, a radar system must meet its timing and energ...