Sciweavers

537 search results - page 32 / 108
» Extended directed triple systems
Sort
View
ICIP
2006
IEEE
14 years 9 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
13 years 12 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»
13 years 11 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
13 years 10 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
13 years 9 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