Sciweavers

537 search results - page 32 / 108
» Extended directed triple systems
Sort
View
ICIP
2006
IEEE
16 years 1 months ago
Eyelash Removal Method for Human Iris Recognition
A novel eyelash removal method for preprocessing of human iris images in a human iris recognition system is presented. The method filters each occluded pixel along an axis perpend...
Dexin Zhang, Donald M. Monro, Soumyadip Rakshit
UIST
1997
ACM
15 years 4 months ago
Pen-Based Interaction Techniques for Organizing Material on an Electronic Whiteboard
This paper presents a scheme for extending an informal, penbased whiteboard system (the Tivoli application on the Xerox LiveBoard) to provide interaction techniques that enable gr...
Thomas P. Moran, Patrick Chiu, William van Melle
ICECCS
2007
IEEE
89views Hardware» more  ICECCS 2007»
15 years 3 months ago
Just-in-Time Certification
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
John M. Rushby
AAAI
2008
15 years 2 months ago
Credulous Resolution for Answer Set Programming
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
Piero A. Bonatti, Enrico Pontelli, Tran Cao Son
AAAI
2004
15 years 1 months ago
A General Solution to the Graph History Interaction Problem
Since the state space of most games is a directed graph, many game-playing systems detect repeated positions with a transposition table. This approach can reduce search effort by ...
Akihiro Kishimoto, Martin Müller 0003