244 search results - page 2 / 49 » Towards a Theory of Extractable Functions |
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
ESANN
2004
13 years 6 months ago
2004
Abstract. In most ICA algorithms, the separation performances are estimated through the evaluation of a contrast function , used in the update rule of elements of the unmixing matr...
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
DB
2008
13 years 4 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
IVC
2002
13 years 4 months ago
2002
Ears are an emergent biometric accruing application advantages including no requirement for subject contact and acquisition without demand. To recognize a subject's ear, we a...