5754 search results - page 1117 / 1151 » Multi-class Model M |
161
click to vote
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
142
click to vote
CP
2008
Springer
15 years 3 months ago
2008
Springer
Modern computer architectures have complex features that can only be fully taken advantage of if the compiler schedules the compiled code. A standard region of code for scheduling ...
CPAIOR
2008
Springer
15 years 3 months ago
2008
Springer
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
AGI
2008
15 years 3 months ago
2008
One might imagine that AI systems with harmless goals will be harmless. This paper instead shows that intelligent systems will need to be carefully designed to prevent them from be...
123
click to vote
DIMVA
2008
15 years 3 months ago
2008
Embedded malware is a recently discovered security threat that allows malcode to be hidden inside a benign file. It has been shown that embedded malware is not detected by commerci...