Sciweavers

5131 search results - page 729 / 1027
» Heterogeneous Component Analysis
Sort
View
CAV
2008
Springer
125views Hardware» more  CAV 2008»
15 years 8 months ago
A Practical Approach to Word Level Model Checking of Industrial Netlists
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
Per Bjesse
ACII
2005
Springer
15 years 8 months ago
Face and Facial Expression Recognition with an Embedded System for Human-Robot Interaction
In this paper, we present an embedded system in which face recognition and facial expression recognition for Human-Robot Interaction are implemented. To detect face with a fast and...
Yang-Bok Lee, Seungbin Moon, Yong-Guk Kim
COMPGEOM
2008
ACM
15 years 8 months ago
Reeb spaces of piecewise linear mappings
Generalizing the concept of a Reeb graph, the Reeb space of a multivariate continuous mapping identifies points of the domain that belong to a common component of the preimage of ...
Herbert Edelsbrunner, John Harer, Amit K. Patel
DIS
2008
Springer
15 years 8 months ago
Constructing Iceberg Lattices from Frequent Closures Using Generators
Frequent closures (FCIs) and generators (FGs) as well as the precedence relation on FCIs are key components in the definition of a variety of association rule bases. Although their...
Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, R...
ACL
2008
15 years 8 months ago
Finding Contradictions in Text
Detecting conflicting statements is a foundational text understanding task with applications in information analysis. We propose an appropriate definition of contradiction for NLP...
Marie-Catherine de Marneffe, Anna N. Rafferty, Chr...