3229 search results - page 223 / 646 » Theories with the Independence Property |
151
click to vote
FSTTCS
2007
Springer
16 years 21 days ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
170
click to vote
STACS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
162
click to vote
CONIELECOMP
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents a wavelet neural-network for learning and approximation of chaotic time series. Wavelet-networks are inspired by both feed-forward neural networks and the theo...
256
click to vote
GMAI
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper, we develop a mathematical model from the theory of plate bending in elasticity which relates physical properties of a surface to its elastic deformation. We present...
220
click to vote
IEEEICCI
2006
IEEE
16 years 17 days ago
2006
IEEE
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on universe. In the view of granular computing, classical ro...