Sciweavers

415 search results - page 13 / 83
» time 1994
Sort
View
AAAI
1994
13 years 11 months ago
Prediction Sharing Across Time and Contexts
Sometimes inferences made at some specific time are valid at other times, too. In model-based diagnosis and monitoring as well as qualitative simulation inferences are often re-do...
Oskar Dressler, Hartmut Freitag
TPPP
1994
14 years 1 months ago
Time and Information in Sequential and Concurrent Computation
Time can be understood as dual to information in extant models of both sequential and concurrent computation. The basis for this duality is phase space, coordinatized by time and ...
Vaughan R. Pratt
ICCL
1994
IEEE
14 years 1 months ago
Semantics for a Real-Time Object-Oriented Programming Language
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
Ichiro Satoh, Mario Tokoro
ICIP
1994
IEEE
14 years 11 months ago
Adaptive Spline-Wavelet Image Encoding and Real-Time Synthesis
A wavelet-based image-encoding is described which, when used in conjunction with the Di erence Engine (a customdesigned VLSI display processor) allows us to reconstruct an image i...
Patrick Marais, Edwin H. Blake, Alfons A. M. Kuijk
INFORMATICALT
1998
96views more  INFORMATICALT 1998»
13 years 9 months ago
State Estimation of Dynamic Systems in the Presence of Time-Varying Outliers in Observations
Abstract. In the previous papers (Masreliez and Martin, 1977; Novoviˇcova, 1987; Schick and Mitter, 1994) the problem of recursive estimation of linear dynamic systems parameters ...
Rimantas Pupeikis