21324 search results - page 472 / 4265 » Making the case for computing |
146
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Discrete optimization problemsarise throughout many real world domainsincluding planning, decision making, and search. NP-hardin general, these problems require novel approachesto...
154
click to vote
NIPS
2004
15 years 8 months ago
2004
Motivated by the particular problems involved in communicating with "locked-in" paralysed patients, we aim to develop a braincomputer interface that uses auditory stimul...
170
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
195
click to vote
IJFCS
2006
15 years 7 months ago
2006
We initiate a systematic study of the Row Deletion(B) problem on matrices: Given an input matrix A and a fixed "forbidden submatrix" B, the task is to remove a minimum n...
192
click to vote
PUC
2008
15 years 6 months ago
2008
We described in earlier publications the principles of a system where internet content would be pre-cached, based on contextual information obtained from a user's electronic ...