752 search results - page 85 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
145
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
118
Voted
PSB
2004
15 years 5 months ago
2004
Gene expression of a cell is controlled by sophisticated cellular processes. The capability of inferring the states of these cellular processes would provide insight into the mech...
144
Voted
BTW
2007
Springer
15 years 7 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...
131
click to vote
DRR
2010
15 years 6 months ago
2010
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...
166
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We investigate the ground clutter homogeneity and target detection performance using airborne multi-channel AESA (Active Electronically Scanned Array) radar data from flight trial...