Sciweavers

2702 search results - page 401 / 541
» Practically Applicable Formal Methods
Sort
View
DASFAA
2009
IEEE
93views Database» more  DASFAA 2009»
14 years 4 months ago
Top-K Correlation Sub-graph Search in Graph Databases
Recently, due to its wide applications, (similar) subgraph search has attracted a lot of attentions from database and data mining community, such as [13, 18, 19, 5]. In [8], Ke et ...
Lei Zou, Lei Chen 0002, Yansheng Lu
CHI
2009
ACM
14 years 4 months ago
Matchin: eliciting user preferences with an online game
Eliciting user preferences for large datasets and creating rankings based on these preferences has many practical applications in community-based sites. This paper gives a new met...
Severin Hacker, Luis von Ahn
ICASSP
2009
IEEE
14 years 4 months ago
Maximum-likelihood estimation of autoregressive models with conditional independence constraints
We propose a convex optimization method for maximum likelihood estimation of autoregressive models, subject to conditional independence constraints. This problem is an extension t...
Jitkomut Songsiri, Joachim Dahl, Lieven Vandenberg...
CIS
2009
Springer
14 years 4 months ago
On the Role of Interpolation in the Normalization of Non-ideal Visible Wavelength Iris Images
Abstract—The growth in practical applications for iris biometrics has been accompanied by relevant developments in the underlying algorithms and techniques. Along with the resear...
Gil Melfe Mateus Santos, Hugo Pedro Martins Carric...
EUROPAR
2009
Springer
14 years 4 months ago
Stochastic Analysis of Hierarchical Publish/Subscribe Systems
With the gradual adoption of publish/subscribe systems in mission critical areas, it is essential that systems are subjected to rigorous performance analysis before they are put in...
Gero Mühl, Arnd Schröter, Helge Parzyjeg...