1453 search results - page 240 / 291 » Partial Constraint Satisfaction |
119
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
We study the problem of dynamic spectrum sensing and access in cognitive radio systems as a partially observed Markov decision process (POMDP). A group of cognitive users cooperati...
SIGPRO
2008
14 years 11 months ago
2008
With the rapid development of X-ray source and detector technologies, multi-source scanners become a hot topic in the computed tomography (CT) field, which can acquire several pro...
103
click to vote
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
Markov models have been used extensively in psychology of learning. Applications of hidden Markov models are rare however. This is partially due to the fact that comprehensive stat...