11740 search results - page 420 / 2348 » More Problems in Rewriting |
173
click to vote
SAT
2004
Springer
16 years 5 days ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
152
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
Long transactions cause pragmatic problems for workflow systems – as the transaction is moving, so is the surrounding world. We look at three scenarios in which external events ...
160
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper we provide a detailed and comprehensive survey of proposed approaches for network design, charting the evolution of models and techniques for the automatic planning ...
182
click to vote
ESSMAC
2003
Springer
16 years 1 days ago
2003
Springer
We apply a constrained Hidden Markov Model architecture to the problem of simultaneous localization and surveying from sensor logs of mobile agents navigating in unknown environmen...
182
click to vote
ICCS
2003
Springer
16 years 1 days ago
2003
Springer
Performance analysis of real applications in clusters and GRID like environments is essential to fully exploit the performance of new architectures. The key problem is the deepenin...