Sciweavers

1860 search results - page 130 / 372
» tools 2009
Sort
View
ICDAR
2009
IEEE
16 years 19 days ago
Arabic Handwriting Recognition Using Restored Stroke Chronology
In this paper we present a system of the off-line handwriting recognition. Our recognition system is based on temporal order restoration of the off-line trajectory. For this task ...
Abdelkarim Elbaati, Houcine Boubaker, Monji Kheral...
RAID
2009
Springer
16 years 12 days ago
Towards Generating High Coverage Vulnerability-Based Signatures with Protocol-Level Constraint-Guided Exploration
Abstract. Signature-based input filtering is an important and widely deployed defense. But current signature generation methods have limited coverage and the generated signatures ...
Juan Caballero, Zhenkai Liang, Pongsin Poosankam, ...
159
Voted
ICIP
2009
IEEE
16 years 7 months ago
2d-3d Registration Of Deformable Shapes With Manifold Projection
We present an algorithm able to register a known 3D deformable model to a set of 2D matched points extracted from a single image. Unlike previous approaches, the problem is solved...
TACAS
2009
Springer
134views Algorithms» more  TACAS 2009»
16 years 20 days ago
Compositional Predicate Abstraction from Game Semantics
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
Adam Bakewell, Dan R. Ghica
171
Voted
VL
2009
IEEE
126views Visual Languages» more  VL 2009»
16 years 18 days ago
A graphical approach for modeling time-dependent behavior of DSLs
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...
José Eduardo Rivera, Francisco Durán...