1431 search results - page 53 / 287 » Solving Constraints in Model Transformations |
95
Voted
CORR
2008
Springer
15 years 19 days ago
2008
Springer
In this paper, we consider a cognitive radio (CR) network in which the unlicensed (secondary) users are allowed to concurrently access the spectrum allocated to the licensed (prim...
91
Voted
KR
1998
Springer
15 years 4 months ago
1998
Springer
We study the problem of probabilistic deduction with conditional constraints over basic events. We show that globallycomplete probabilistic deduction with conditional constraints ...
117
Voted
ICFP
2008
ACM
16 years 15 days ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
100
click to vote
AAAI
2008
15 years 2 months ago
2008
It is well-known that diversity among base classifiers is crucial for constructing a strong ensemble. Most existing ensemble methods obtain diverse individual learners through res...
100
click to vote
PUK
2001
15 years 1 months ago
2001
Combination of AI/OR methods is gaining a great deal of attention because many combinatorial problems especially in planning and scheduling areas can be solved by means of combined...