Sciweavers

74 search results - page 14 / 15
» A Canonical Form for Testing Boolean Function Properties
Sort
View
JEI
2010
120views more  JEI 2010»
13 years 3 months ago
Performance evaluation of mail-scanning cameras
Letter scanning cameras (LSCs) form the front end imaging systems for virtually all mail scanning systems that are currently used to automatically sort mail products. As with any ...
Umesh Rajashekar, Tony Tuan Vu, John E. Hooning, A...
CVPR
2003
IEEE
14 years 7 months ago
Scene Detection In Hollywood Movies and TV Shows
A scene can be defined as one of the subdivisions of a play in which the setting is fixed, or when it presents continuous action in one place. We propose a novel two-pass algorith...
Zeeshan Rasheed, Mubarak Shah
CCS
2005
ACM
13 years 11 months ago
Obfuscated databases and group privacy
We investigate whether it is possible to encrypt a database and then give it away in such a form that users can still access it, but only in a restricted way. In contrast to conve...
Arvind Narayanan, Vitaly Shmatikov
BIRTHDAY
2003
Springer
13 years 10 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
IDA
1998
Springer
13 years 5 months ago
Self-Organized-Expert Modular Network for Classification of Spatiotemporal Sequences
We investigate a form of modular neural network for classification with (a) pre-separated input vectors entering its specialist (expert) networks, (b) specialist networks which ar...
Sylvian R. Ray, William H. Hsu