1313 search results - page 94 / 263 » Generic Universe Types |
117
click to vote
FLAIRS
2009
15 years 2 months ago
2009
We propose a memory-based approach to the problem of goal-schema recognition. We use a generic episodic memory module to perform incremental goal schema recognition and to build t...
129
click to vote
WSC
2001
15 years 5 months ago
2001
This paper describes some identifiable trends in the manufacturing industry regarding the increased use of simulation tools, especially by small- to medium-sized companies. These ...
138
click to vote
AML
2008
15 years 4 months ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...
201
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
In this paper, we introduce a higher-order MRF optimization
framework. On the one hand, it is very general;
we thus use it to derive a generic optimizer that can be applied
to a...
182
click to vote
CHES
2008
Springer
15 years 6 months ago
2008
Springer
We propose a generic information-theoretic distinguisher for differential side-channel analysis. Our model of side-channel leakage is a refinement of the one given by Standaert et ...