4469 search results - page 640 / 894 » Comparing and Combining Profiles |
155
click to vote
APN
2008
Springer
15 years 7 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
138
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
We describe how to take a set of interaction traces produced by different pairs of players in a two-player repeated game, and combine them into a composite strategy. We provide an...
133
click to vote
CASES
2008
ACM
15 years 7 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
143
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
With massive book digitization efforts underway, there is a need for developing effective book retrieval strategies. This paper explores the relative contribution of different par...
159
click to vote
ACII
2005
Springer
15 years 7 months ago
2005
Springer
The null space N(St) of total scatter matrix St contains no useful information for pattern classification. So, discarding the null space N(St) results in dimensionality reduction ...