4629 search results - page 563 / 926 » Space Kernel Analysis |
204
click to vote
WIDM
2004
ACM
16 years 1 months ago
2004
ACM
We present the user evaluation of two recommendation server methodologies implemented for the NASA Technical Report Server (NTRS). One methodology for generating recommendations u...
176
click to vote
ICTAI
2003
IEEE
16 years 26 days ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
209
click to vote
ICFCA
2010
Springer
16 years 11 days ago
2010
Springer
A feature of Formal Concept Analysis is the use of the line diagram of the concept lattice to visualize a conceptual space. The line diagram is a specialized form of Hasse diagram ...
253
click to vote
KBSE
2000
IEEE
15 years 12 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
178
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
We propose a new method to characterize a speaker within the Joint Factor Analysis (JFA) framework. Scoring within the JFA framework can be costly and a new method was proposed to...