Sciweavers

719 search results - page 120 / 144
» Normalizing Incomplete Databases
Sort
View
ICB
2007
Springer
119views Biometrics» more  ICB 2007»
14 years 1 months ago
Nonlinear Iris Deformation Correction Based on Gaussian Model
Current iris recognition systems can achieve high level of success under restricted conditions, while they still face challenges of utilizing images with heavy deformation caused b...
Zhuoshi Wei, Tieniu Tan, Zhenan Sun
IFSA
2007
Springer
147views Fuzzy Logic» more  IFSA 2007»
14 years 1 months ago
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
Radim Belohlávek, Vilém Vychodil
ICSEA
2006
IEEE
14 years 1 months ago
UbiNet: A Generic and Ubiquitous Service Provider Framework
—In mobile environment, it is very common that mobile devices periodically stay in disconnection mode. In a networked world as today, computer users rely on network services so h...
Jinsuo Zhang, Sumi Helal
ACL2
2006
ACM
14 years 1 months ago
A SAT-based procedure for verifying finite state machines in ACL2
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
Warren A. Hunt Jr., Erik Reeber
ICDAR
2005
IEEE
14 years 1 months ago
Skew Estimation for Scanned Documents from "Noises"
The vast majority of the published skew estimation methods for scanned document images are for textual documents. These methods are based on the principle that the skew angles can...
Bo Yuan, Chew Lim Tan