234 search results - page 17 / 47 » Multimodal Data Representations with Parameterized Local Str... |
CAV
2007
Springer
15 years 3 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 ...
105
click to vote
JCST
2010
14 years 8 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 ...
ICML
2010
IEEE
14 years 10 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...
103
Voted
CVPR
2010
IEEE
15 years 5 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...
ET
2000
14 years 9 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,...