Sciweavers

2098 search results - page 126 / 420
» Syntactic Topic Models
Sort
View
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
14 years 3 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
HICSS
2005
IEEE
133views Biometrics» more  HICSS 2005»
14 years 2 months ago
User-Oriented Relevance Judgment: A Conceptual Model
The concept of relevance has been heatedly debated in last decade. Not satisfied with the narrow and technical definition of system relevance, researchers turn to the subjective a...
Zhiwei Chen, Yunjie Xu
IBPRIA
2009
Springer
14 years 1 months ago
Score Fusion by Maximizing the Area under the ROC Curve
Information fusion is currently a very active research topic aimed at improving the performance of biometric systems. This paper proposes a novel method for optimizing the paramete...
Mauricio Villegas, Roberto Paredes
CVPR
2008
IEEE
14 years 11 months ago
Trajectory analysis and semantic region modeling using a nonparametric Bayesian model
We propose a novel nonparametric Bayesian model, Dual Hierarchical Dirichlet Processes (Dual-HDP), for trajectory analysis and semantic region modeling in surveillance settings, i...
Xiaogang Wang, Keng Teck Ma, Gee Wah Ng, W. Eric L...
CSFW
2008
IEEE
14 years 3 months ago
Composition of Password-Based Protocols
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
Stéphanie Delaune, Steve Kremer, Mark Ryan