601 search results - page 50 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
133
click to vote
EDOC
2007
IEEE
15 years 5 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
126
click to vote
AAAI
2007
15 years 3 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
110
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
Belief propagation over pairwise connected Markov Random Fields has become a widely used approach, and has been successfully applied to several important computer vision problems....
124
click to vote
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
Video transmission over unreliable packet network is in general hampered by the packet losses and constraint by stringent playback deadline. With these two key factors in consider...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic