Sciweavers

5423 search results - page 783 / 1085
» Denial-of-service in automation systems
Sort
View
197
Voted
HICSS
2009
IEEE
131views Biometrics» more  HICSS 2009»
16 years 1 months ago
Challenges in Software Product Line Composition
The idea to develop applications and infrastructure software as software product lines (SPLs) is continuously growing in acceptance throughout the software industry. The ability t...
Horst Schirmeier, Olaf Spinczyk
ICDAR
2009
IEEE
16 years 1 months ago
A Self-Adaptive Method for Extraction of Document-Specific Alphabets
Recognition and encoding of digitized historical documents is still a challenging and difficult task. A major problem is the occurrence of unknown glyphs and symbols which might n...
Stefan Pletschacher
IRI
2009
IEEE
16 years 1 months ago
Ontology Guided Autonomous Label Assignment in Wrapper Induced Tables with Missing Column Names
Formulating and executing queries over distributed, autonomous and heterogeneous resources is an important research area. The advent of the Internet and the Web and their inherent...
Mohammad Shafkat Amin, Hasan M. Jamil
CAIP
2009
Springer
325views Image Analysis» more  CAIP 2009»
16 years 1 months ago
Finger-Knuckle-Print Verification Based on Band-Limited Phase-Only Correlation
This paper investigates a new automated personal authentication technique using finger-knuckle-print (FKP) imaging. First, a specific data acquisition device is developed to captur...
Lin Zhang, Lei Zhang, David Zhang
FROCOS
2009
Springer
16 years 1 months ago
Combining Theories with Shared Set Operations
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
Thomas Wies, Ruzica Piskac, Viktor Kuncak