827 search results - page 154 / 166 » Patterns for Timed Property Specifications |
126
click to vote
SIGOPS
2010
15 years 7 days ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
133
click to vote
CVPR
2004
IEEE
16 years 3 months ago
2004
IEEE
Copyright 2004 IEEE. Published in Conference on Computer Vision and Pattern Recognition (CVPR-2004), June 27 - July 2, 2004, Washington DC. Personal use of this material is permit...
153
Voted
VIS
2009
IEEE
16 years 3 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
130
click to vote
KDD
2009
ACM
15 years 8 months ago
2009
ACM
Max-margin Markov networks (M3 N) have shown great promise in structured prediction and relational learning. Due to the KKT conditions, the M3 N enjoys dual sparsity. However, the...
123
Voted
STACS
2009
Springer
15 years 8 months ago
2009
Springer
The edit distance problem is a classical fundamental problem in computer science in general, and in combinatorial pattern matching in particular. The standard dynamic-programming s...