Sciweavers

6258 search results - page 1029 / 1252
» Applied Text Generation
Sort
View
ECCV
2010
Springer
15 years 6 months ago
Image Segmentation with Topic Random Field
Abstract. Recently, there has been increasing interests in applying aspect models (e.g., PLSA and LDA) in image segmentation. However, these models ignore spatial relationships amo...
ACSAC
2008
IEEE
15 years 6 months ago
Assessing Quality of Policy Properties in Verification of Access Control Policies
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
Evan Martin, JeeHyun Hwang, Tao Xie, Vincent C. Hu
ADC
2008
Springer
100views Database» more  ADC 2008»
15 years 6 months ago
UserMap : an Adaptive Enhancing of User-Driven XML-to-Relational Mapping Strategies
As the XML has become a standard for data representation, it is inevitable to propose and implement techniques for efficient managing of XML data. A natural alternative is to expl...
Irena Mlynkova, Jaroslav Pokorný
ADMA
2008
Springer
124views Data Mining» more  ADMA 2008»
15 years 6 months ago
Dimensionality Reduction for Classification
We investigate the effects of dimensionality reduction using different techniques and different dimensions on six two-class data sets with numerical attributes as pre-processing fo...
Frank Plastria, Steven De Bruyne, Emilio Carrizosa
APN
2008
Springer
15 years 6 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
« Prev « First page 1029 / 1252 Last » Next »