Sciweavers

14382 search results - page 343 / 2877
» Time in Connectionist Models
Sort
View
AMAST
2000
Springer
15 years 11 months ago
Time and Probability in Process Algebra
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
Suzana Andova
ENTCS
2007
120views more  ENTCS 2007»
15 years 6 months ago
Non-Interference Control Synthesis for Security Timed Automata
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
Guillaume Gardey, John Mullins, Olivier H. Roux
ICCAD
2002
IEEE
76views Hardware» more  ICCAD 2002»
16 years 3 months ago
WTA: waveform-based timing analysis for deep submicron circuits
Existing static timing analyzers make several assumptions about circuits, implicitly trading off accuracy for speed. In this paper we examine the validity of these assumptions, no...
Larry McMurchie, Carl Sechen
IROS
2009
IEEE
160views Robotics» more  IROS 2009»
16 years 1 months ago
A minimum jerk predictor for teleoperation with variable time delay
— In this paper we describe a method for bridging internet time delays in a teleoperation scenario. In the scenario, the sizes of the time delays is not only stochastic, but it i...
Claes Christian Smith, Henrik I. Christensen
IDA
2009
Springer
16 years 1 months ago
Improving Time Series Forecasting by Discovering Frequent Episodes in Sequences
Abstract. This work aims to improve an existing time series forecasting algorithm –LBF– by the application of frequent episodes techniques as a complementary step to the model....
Francisco Martínez-Álvarez, Alicia T...