888 search results - page 45 / 178 » The Power of Temporal Proofs |
AAAI
2004
14 years 11 months ago
2004
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
With technological advancements data availability in power systems is drastically increased. Intelligent electronic devices are capable of communicating recorded data. Data can be...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
106
click to vote
DAWAK
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...
117
click to vote
ICMCS
2007
IEEE
15 years 1 months ago
2007
IEEE
The high performance of the conventional spatio-temporal image noise reduction filers comes at the cost of high computationally intensity. In this paper, a motion adaptive spatio-...