1772 search results - page 253 / 355 » Classifying Problems into Complexity Classes |
109
Voted
SIGIR
2008
ACM
15 years 16 days ago
2008
ACM
It is difficult to apply machine learning to new domains because often we lack labeled problem instances. In this paper, we provide a solution to this problem that leverages domai...
178
click to vote
ICDE
2001
IEEE
16 years 2 months ago
2001
IEEE
We propose an extension to current view-based mediator systems called model-based mediation, in which views are defined and executed at the level of conceptual models (CMs) rather...
108
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
Bayesian analysis is a popular subspace based face recognition method. It casts the face recognition task into a binary classification problem with each of the two classes, intrap...
97
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
125
Voted
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...