1968 search results - page 126 / 394 » The Complexity of Valued Constraint Models |
104
click to vote
SODA
2010
ACM
15 years 11 months ago
2010
ACM
We study the computational complexity of some central analysis problems for One-Counter Markov Decision Processes (OC-MDPs), a class of finitely-presented, countable-state MDPs. O...
126
click to vote
ECRTS
2006
IEEE
15 years 7 months ago
2006
IEEE
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
CGI
2004
IEEE
15 years 5 months ago
2004
IEEE
We present ByzantineCAD, a feature-based parametric CAD system for designing pierced Byzantine jewellery. ByzantineCAD is an automated system where jewellery is designed according...
186
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
126
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...