1981 search results - page 217 / 397 » Model-Checking Hierarchical Structures |
ISVC
2010
Springer
13 years 8 months ago
2010
Springer
We present Subversion Statistics Sifter, a visualisation and statistics system for exploring the structure and evolution of data contained in Subversion repositories with respect t...
CCR
2002
13 years 10 months ago
2002
It has long been thought that the Internet, and its constituent networks, are hierarchical in nature. Consequently, the network topology generators most widely used by the Interne...
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
—As the number of Mobile IP (MIP) [2] users grow, so will the demand for delay sensitive real-time applications, such as audio streaming, that require seamless handoff, namely, a...
TCAD
2002
13 years 9 months ago
2002
Chemical-mechanical polishing (CMP) and other manufacturing steps in very deep submicron VLSI have varying effects on device and interconnect features, depending on local character...
KDD
2008
ACM
2008
ACM
Knowledge discovery of semantic relationships between words using nonparametric bayesian graph model
14 years 10 months ago
We developed a model based on nonparametric Bayesian modeling for automatic discovery of semantic relationships between words taken from a corpus. It is aimed at discovering seman...