Sciweavers

288 search results - page 38 / 58
» Notes on computing minimal approximant bases
Sort
View
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 3 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp
COMPSAC
2008
IEEE
15 years 5 months ago
Constraint Reasoning in Path-Oriented Random Testing
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
Arnaud Gotlieb, Matthieu Petit
SCALESPACE
2007
Springer
15 years 5 months ago
Fuzzy Region Competition: A Convex Two-Phase Segmentation Framework
This paper introduces a new framework for two-phase image segmentation, namely the Fuzzy Region Competition. A generic formulation is developed that extends in a convex way several...
Benoit Mory, Roberto Ardon
CVPR
2006
IEEE
16 years 1 months ago
Robust Fragments-based Tracking using the Integral Histogram
We present a novel algorithm (which we call "FragTrack") for tracking an object in a video sequence. The template object is represented by multiple image fragments or pa...
Amit Adam, Ehud Rivlin, Ilan Shimshoni
ECCV
2010
Springer
15 years 1 months ago
Emotion Recognition from Arbitrary View Facial Images
Abstract. Emotion recognition from facial images is a very active research topic in human computer interaction (HCI). However, most of the previous approaches only focus on the fro...