Sciweavers

3122 search results - page 23 / 625
» A Theory of Network Equivalence
Sort
View
TNN
2010
174views Management» more  TNN 2010»
14 years 4 months ago
Equivalences between neural-autoregressive time series models and fuzzy systems
Soft computing (SC) emerged as an integrating framework for a number of techniques that could complement one another quite well (artificial neural networks, fuzzy systems, evolutio...
José Luis Aznarte, José Manuel Ben&i...
IPSN
2004
Springer
15 years 3 months ago
How to distribute sensors in a random field?
In this paper, we study the optimal way of distributing sensors in a random field to minimize the estimation distortion. We show that this problem is equivalent to certain proble...
Xin Zhang, Stephen B. Wicker
ICDCSW
2000
IEEE
15 years 1 months ago
Compositional Verification of a Third Generation Mobile Communication Protocol
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
Sari Leppänen, Matti Luukkainen
75
Voted
ICRA
2003
IEEE
272views Robotics» more  ICRA 2003»
15 years 2 months ago
Calculating possible local displacement of curve objects using improved screw theory
— Various methods to recognize assembly tasks using possible local displacement of objects have been proposed. To calculate this displacement, the screw theory is employed. It is...
Jun Takamatsu, Koichi Ogawara, Hiroshi Kimura, Kat...
TACS
1994
Springer
15 years 1 months ago
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
Douglas J. Howe, Scott D. Stoller