7121 search results - page 1181 / 1425 » Functions as Session-Typed Processes |
179
Voted
TII
2008
15 years 4 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
133
click to vote
IVC
2007
15 years 4 months ago
2007
Recently, an optimization approach for fast visual tracking of articulated structures based on Stochastic Meta-Descent (SMD) [7] has been presented. SMD is a gradient descent with...
134
Voted
TKDE
2008
15 years 4 months ago
2008
In this paper, we present an agglomerative fuzzy K-Means clustering algorithm for numerical data, an extension to the standard fuzzy K-Means algorithm by introducing a penalty term...
143
click to vote
TNN
2008
15 years 4 months ago
2008
Abstract--This paper is concerned with the robust synchronization problem for an array of coupled stochastic discrete-time neural networks with time-varying delay. The individual n...
155
Voted
JCP
2007
15 years 4 months ago
2007
- The kinematic filter is a common tool in control and signal processing applications dealing with position, velocity and other kinematical variables. Usually the filter gain is gi...