3616 search results - page 196 / 724 » Conditional Memory Ordering |
203
click to vote
ICCD
1996
IEEE
15 years 10 months ago
1996
IEEE
The Multi-Level Decomposition Diagrams (MLDDs) of this paper are a canonical representation of Boolean functions expliciting disjoint-support decompositions. MLDDs allow the reduc...
147
click to vote
AML
2010
15 years 6 months ago
2010
We show the non-arithmeticity of 1st order theories of lattices of n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithm...
148
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
199
click to vote
JKM
2010
15 years 4 months ago
2010
Purpose – Looking at the practical experience of organizations pursuing knowledge management, it is found that their efforts are primarily focused on creating the conditions and...
163
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
One of the main limitations of image search based on
bag-of-features is the memory usage per image. Only a few
million images can be handled on a single machine in rea-
sonable ...