1992 search results - page 92 / 399 » Model Based Testing with Labelled Transition Systems |
105
click to vote
PDP
2007
IEEE
15 years 9 months ago
2007
IEEE
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...
138
click to vote
KDD
2010
ACM
15 years 6 months ago
2010
ACM
Many recommendation and retrieval tasks can be represented as proximity queries on a labeled directed graph, with typed nodes representing documents, terms, and metadata, and labe...
139
Voted
BIOADIT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
122
Voted
ICDCS
2007
IEEE
15 years 9 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...
104
Voted
ACCV
1998
Springer
15 years 6 months ago
1998
Springer
We present an object recognition system based on symbolic graphs with object corners as vertices and outlines as edges. Corners are determined in a robust way by a multiscale combi...