Sciweavers

581 search results - page 44 / 117
» formats 2006
Sort
View
PR
2007
126views more  PR 2007»
13 years 7 months ago
The multiresolution gradient vector field skeleton
Many algorithms suppress skeleton associated with boundary perturbation by preventing their formation or by costly branch pruning. This work proposes a novel concept of structural...
Wooi-Boon Goh, Kai-Yun Chan
IANDC
2010
128views more  IANDC 2010»
13 years 6 months ago
A coinductive calculus of binary trees
We study the set TA of infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on ...
Alexandra Silva, Jan J. M. M. Rutten
IJISTA
2010
126views more  IJISTA 2010»
13 years 6 months ago
A robust method for camera motion estimation in movies based on optical flow
—Camera motion estimation plays an important role in digital video analysis algorithms such as video indexing and retrieval or automatic movie analysis. Several algorithms have b...
Nhat Tan Nguyen, Denis Laurendeau, Alexandra Branz...
INFORMATICALT
2010
116views more  INFORMATICALT 2010»
13 years 6 months ago
An Approach to Formalize Metainformation of Software Localizable Resources
Software localization is one of important tasks to insure a successful computer user experience. The paper discusses how localization of the software dialog text can be accelerated...
Valentina Dagiene, Tatjana Jevsikova
SP
2007
IEEE
14 years 2 months ago
ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing
In this paper, we present ShieldGen, a system for automatically generating a data patch or a vulnerability signature for an unknown vulnerability, given a zero-day attack instance...
Weidong Cui, Marcus Peinado, Helen J. Wang, Michae...