9405 search results - page 947 / 1881 » Computing a Model of Set Theory |
224
click to vote
ICDCS
2007
IEEE
16 years 2 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
213
click to vote
ICDCSW
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, we consider the problem of reducing the number of false positives generated by cooperative Intrusion Detection Systems (IDSs) in Mobile Ad hoc Networks (MANETs). We...
167
click to vote
SCIA
2005
Springer
16 years 1 months ago
2005
Springer
Estimation of inhomogeneous vectors is well-studied in estimation theory. For instance, given covariance matrices of input data allow to compute optimal estimates and characterize...
214
click to vote
AMDO
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. In this paper new results are presented for tracking complex multi-body objects. The theoretical framework is based on robotics techniques and uses an a-priori model of t...
203
click to vote
CW
2002
IEEE
16 years 20 days ago
2002
IEEE
Metamorphosis between 3D objects is often the transformation between a pair of shapes that have the same topology. This paper presents a new model using Reeb graphs and their cont...