3468 search results - page 41 / 694 » An open logical framework |
149
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We describe and evaluate our toolkit openBliSSART (open-source Blind Source Separation for Audio Recognition Tasks), which is the C++ framework and toolbox that we have successful...
140
click to vote
ICTAI
2005
IEEE
15 years 9 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
146
Voted
CHES
2009
Springer
15 years 10 months ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
148
click to vote
JAR
2010
15 years 2 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
EUSFLAT
2009
15 years 1 months ago
2009
The present article dedicates itself to fuzzy modelling of data