357 search results - page 43 / 72 » Toward a Theory of Behavioral Operations |
141
click to vote
AGI
2008
15 years 7 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...
154
click to vote
DAC
2008
ACM
16 years 6 months ago
2008
ACM
An energy optimization is proposed that addresses the nontrivial digital contribution to power and impact on performance in high-speed mixed-signal circuits. Parallel energy and b...
144
click to vote
FOSSACS
2009
Springer
16 years 19 days ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...
129
click to vote
ASM
2005
ASM
15 years 11 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
258
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...