4352 search results - page 141 / 871 » A Representation Theorem and Applications |
210
click to vote
ACL2
2006
ACM
16 years 10 days ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
181
click to vote
AMFG
2005
IEEE
15 years 12 months ago
2005
IEEE
Non-negative matrix factorization (NMF) is a recently developed method for finding parts-based representation of non-negative data such as face images. Although it has successfully...
154
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
194
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We examine a knowledge representation architecture to support context interchange mediation. For autonomous receivers and sources sharing a common subject domain, the mediator’s...
151
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...