546 search results - page 32 / 110 » Extended Null-Move Reductions |
133
Voted
DEON
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Lattice reduction-aided decoding enables significant complexity saving and near-optimum performance in multi-input multi-output (MIMO) communications. However, its remarkable perfo...
132
Voted
AAAI
2007
15 years 3 months ago
2007
We present in this paper a hybrid planning system which combines constraint satisfaction techniques and planning heuristics to produce optimal sequential plans. It integrates its ...
125
click to vote
DAWAK
2006
Springer
15 years 3 months ago
2006
Springer
Sequential pattern mining aims to find frequent patterns (guarded by a minimum support) in a database of sequences. As the support decreases the number of sequential patterns will...
108
Voted
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we propose the Kernel Laplacian Eigenmaps for nonlinear dimensionality reduction. This method can be extended to any structured input beyond the usual vectorial data...