234 search results - page 17 / 47 » Multimodal Data Representations with Parameterized Local Str... |
135
Voted
CAV
2007
Springer
15 years 10 months 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 ...
159
Voted
JCST
2010
15 years 2 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 ...
124
Voted
ICML
2010
IEEE
15 years 4 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...
168
Voted
CVPR
2010
IEEE
15 years 11 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...
137
Voted
ET
2000
15 years 3 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,...