747 search results - page 48 / 150 » An Alternative Representation for QBF |
113
click to vote
WSC
2008
15 years 4 months ago
2008
Systems of systems integration is a difficult engineering challenge that places a particular burden on the engineers who must develop simulation models to support that integration...
ASSETS
2008
ACM
15 years 4 months ago
2008
ACM
Icons and digital images used in augmentative and alternative communication (AAC) are not as effective in illustrating verbs, especially for people with cognitive degeneration or ...
101
click to vote
IJCAI
1993
15 years 3 months ago
1993
Several formalizations of cognitive state that include intentions and beliefs based on normal modal logics (NMLs) have appeared in the recent literature. We argue that NMLs are no...
129
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
We revisit the topics of near-field adaptive beamforming and source localization following an alternative approach based on a spatiotemporal spectral representation of the acoust...
117
Voted
Publication
Most implementations of the language Refal represent ground expressions by doubly-linked lists, which results in low-cost concatenation. On the other hand, that representation nece...