244 search results - page 2 / 49 » Towards a Theory of Extractable Functions |
CADE
2008
Springer
16 years 2 days 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...
128
Voted
ESANN
2004
15 years 1 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...
173
Voted
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...
126
click to vote
DB
2008
14 years 12 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
14 years 11 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...