1650 search results - page 129 / 330 » The HOM problem is decidable |
116
click to vote
DAGSTUHL
2008
15 years 5 months ago
2008
The Exact Geometric Computation (EGC) mode of computation has been developed over the last decade in response to the widespread problem of numerical non-robustness in geometric al...
121
click to vote
WSC
2001
15 years 5 months ago
2001
Parameters of statistical distributions that are input to simulations are typically not known with certainty. For existing systems, or variations on existing systems, they are oft...
155
click to vote
AAAI
1998
15 years 5 months ago
1998
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
136
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
148
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...