601 search results - page 66 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
106
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper investigates a class of learning problems called learning satisfiability (LSAT) problems, where the goal is to learn a set in the input (feature) space that satisfies...
110
click to vote
NIPS
2003
15 years 2 months ago
2003
What happens to the optimal interpretation of noisy data when there exists more than one equally plausible interpretation of the data? In a Bayesian model-learning framework the a...
109
click to vote
TSC
2010
14 years 8 months ago
2010
Today's data centers offer IT services mostly hosted on dedicated physical servers. Server virtualization provides a technical means for server consolidation. Thus, multiple v...
102
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Sequencing is usually per...
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...