Sciweavers

3717 search results - page 347 / 744
» Representing Multiple Theories
Sort
View
ICPP
2005
IEEE
16 years 14 days ago
Incremental Parallelization Using Navigational Programming: A Case Study
We show how a series of transformations can be applied to a sequential program to obtain programs that represent successive steps in exploiting parallelism in the original algorit...
Lei Pan, Wenhui Zhang, Arthur Asuncion, Ming Kin L...
WACV
2005
IEEE
16 years 13 days ago
Fingerprint Deformation Models Using Minutiae Locations and Orientations
Nonlinear deformations in fingerprint images, arising from the elasticity of the skin as well as the pressure and movement of the finger during image acquisition, lead to diffi...
Yi Chen, Sarat C. Dass, Arun Ross, Anil K. Jain
WACV
2005
IEEE
16 years 13 days ago
Automatic Recognition of Colloquial Australian Sign Language
This paper presents an automatic Australian sign language (Auslan) recognition system, which tracks multiple target objects (the face and hands) throughout an image sequence and e...
Eun-Jung Holden, Gareth Lee, Robyn A. Owens
MLMI
2005
Springer
16 years 11 days ago
The Rich Transcription 2005 Spring Meeting Recognition Evaluation
This paper presents the design and results of the Rich Transcription Spring 2005 (RT-05S) Meeting Recognition Evaluation. This evaluation is the third in a series of community-wide...
Jonathan G. Fiscus, Nicolas Radde, John S. Garofol...
TARK
2005
Springer
16 years 11 days ago
Complexity results for logics of local reasoning and inconsistent belief
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
Martin Allen