4103 search results - page 529 / 821 » Some results on the Collatz problem |
178
click to vote
FPGA
1995
ACM
15 years 10 months ago
1995
ACM
The future Large Hadron Collider (LHC) to be built at CERN1, by the turn of the millenium, provides an ample source of challenging real-time computational problems. We report here...
154
click to vote
ICLP
1997
Springer
15 years 10 months ago
1997
Springer
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
175
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
169
click to vote
AAAI
2008
15 years 9 months ago
2008
Model-Based Diagnosis (MBD) typically focuses on diagnoses, minimal under some minimality criterion, e.g., the minimal-cardinality set of faulty components that explain an observa...
162
click to vote
AAAI
2007
15 years 9 months ago
2007
Planning under uncertainty involves two distinct sources of uncertainty: uncertainty about the effects of actions and uncertainty about the current state of the world. The most wi...