Sciweavers

6799 search results - page 288 / 1360
» The Tao of Modeling Spaces
Sort
View
208
Voted
COMPSEC
2010
146views more  COMPSEC 2010»
15 years 6 months ago
An intruder model with message inspection for model checking security protocols
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
ICML
2006
IEEE
16 years 7 months ago
Dynamic topic models
A family of probabilistic time series models is developed to analyze the time evolution of topics in large document collections. The approach is to use state space models on the n...
David M. Blei, John D. Lafferty
182
Voted
SIGIR
2005
ACM
16 years 10 days ago
A study of relevance propagation for web search
Different from traditional information retrieval, both content and structure are critical to the success of Web information retrieval. In recent years, many relevance propagation ...
Tao Qin, Tie-Yan Liu, Xu-Dong Zhang, Zheng Chen, W...
RSS
2007
139views Robotics» more  RSS 2007»
15 years 8 months ago
Design of a Bio-inspired Dynamical Vertical Climbing Robot
Abstract— This paper reviews a template for dynamical climbing originating in biology, explores its stability properties in a numerical model, and presents empirical data from a ...
Jonathan Clark, Daniel Goldman, Pei-Chun Lin, Gora...
TREC
2004
15 years 8 months ago
The Hong Kong Polytechnic University at the TREC 2004 Robust Track
In the robust track, we mainly tested our passage-based retrieval model with different passage sizes and weighting schemes. In our approach, we used two retrieval models, namely t...
D. Y. Wang, Robert Wing Pong Luk, Kam-Fai Wong