Sciweavers

14382 search results - page 132 / 2877
» Time in Connectionist Models
Sort
View
LICS
1990
IEEE
15 years 10 months ago
Model-Checking for Real-Time Systems
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
Rajeev Alur, Costas Courcoubetis, David L. Dill
ICONIP
2010
15 years 4 months ago
Learning Basis Representations of Inverse Dynamics Models for Real-Time Adaptive Control
Abstract. In this paper, we propose a novel approach for adaptive control of robotic manipulators. Our approach uses a representation of inverse dynamics models learned from a vari...
Yasuhito Horiguchi, Takamitsu Matsubara, Masatsugu...
CEC
2009
IEEE
16 years 1 months ago
Evolving hypernetwork models of binary time series for forecasting price movements on stock markets
— The paper proposes a hypernetwork-based method for stock market prediction through a binary time series problem. Hypernetworks are a random hypergraph structure of higher-order...
Elena Bautu, Sun Kim, Andrei Bautu, Henri Luchian,...
VTC
2006
IEEE
16 years 11 days ago
Semi-Analytical Model of Interference in CDMA-TDD Using Random Time Slot Hopping
— In this paper, a semi-analytical approach for the performance analysis of the random time slot (TS) hopping (RTSH) algorithm applied to code division multiple access time divis...
Ellina Foutekova, Christine Evers, Harald Haas
ICASSP
2011
IEEE
14 years 10 months ago
Video thumbnail extraction using video time density function and independent component analysis mixture model
In this paper, we propose a new vector quantization method to create video thumbnail. In particular, we employ video time density function (VTDF) to explore the temporal character...
Junfeng Jiang, Xiao-Ping Zhang