234 search results - page 17 / 47 » Multimodal Data Representations with Parameterized Local Str... |
157
click to vote
CAV
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
194
click to vote
JCST
2010
15 years 4 months ago
2010
Abstract This paper introduces a caching technique based on a volumetric representation that captures low-frequency indirect illumination. This structure is intended for efficient ...
153
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
When modeling high-dimensional richly structured data, it is often the case that the distribution defined by the Deep Boltzmann Machine (DBM) has a rough energy landscape with man...
197
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Visual understanding is often based on measuring similarity between observations. Learning similarities specific to a certain perception task from a set of examples has been show...
162
click to vote
ET
2000
15 years 5 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...