Sciweavers

2291 search results - page 112 / 459
» Representational Reasoning and Verification
Sort
View
ICB
2007
Springer
195views Biometrics» more  ICB 2007»
14 years 1 months ago
Identity Verification by Using Handprint
In recent years, palmprint based personal identification has been extensively explored by researchers. The success of this technology has demonstrated that the inner part of palm s...
Ying Hao, Tieniu Tan, Zhenan Sun, Yufei Han
TIFS
2010
140views more  TIFS 2010»
13 years 4 months ago
An Evaluation of Video-to-Video Face Verification
Person recognition using facial features, e.g., mug-shot images, has long been used in identity documents. However, due to the widespread use of web-cams and mobile devices embedd...
Norman Poh, Chi-Ho Chan, Josef Kittler, Séb...
SIGLEX
1991
14 years 1 months ago
Presuppositions and Default Reasoning: A Study in Lexical Pragmatics
Explaining how the meaning of words relate to the meaning of the utterance in which they are used is of utmost importance. The most common approaches view the meaning of an uttera...
Robert E. Mercer
IJCAI
2007
13 years 11 months ago
Cooperating Reasoning Processes: More than Just the Sum of Their Parts
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning pro...
Alan Bundy
ICSE
2003
IEEE-ACM
14 years 10 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...