Sciweavers

3778 search results - page 75 / 756
» Erdos-Ko-Rado for three sets
Sort
View
POST
2012
153views more  POST 2012»
13 years 5 months ago
Towards Incrementalization of Holistic Hyperproperties
A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the noti...
Dimiter Milushev, Dave Clarke
FSS
2008
179views more  FSS 2008»
14 years 10 months ago
On the difference between traditional and deductive fuzzy logic
In three case studies on notions of fuzzy logic and fuzzy set theory (Dubois
Libor Behounek
IJCNN
2007
IEEE
15 years 4 months ago
Sparse Distributed Representations for Words with Thresholded Independent Component Analysis
— We show that independent component analysis (ICA) can be used to find distributed representations for words that can be further processed by thresholding to produce sparse rep...
Jaakko J. Väyrynen, Lasse Lindqvist, Timo Hon...
ISW
2004
Springer
15 years 3 months ago
Image Recognition CAPTCHAs
CAPTCHAs are tests that distinguish humans from software robots in an online environment [3, 14, 7]. We propose and implement three CAPTCHAs based on naming images, distinguishing ...
Monica Chew, J. D. Tygar
CVPR
1999
IEEE
15 years 2 months ago
Sensor Planning for a Trinocular Active Vision System
We present an algorithm to solve the sensor planning problem for a trinocular, active vision system. This algorithm uses an iterative optimization method to rst solve for the tran...
Peter Lehel, Elsayed E. Hemayed, Aly A. Farag