1562 search results - page 19 / 313 » Convenience Over Correctness |
CCS
2007
ACM
14 years 1 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
AI
2010
Springer
13 years 10 months ago
2010
Springer
Error-Correcting Output Coding (ECOC) is a general framework for multiclass text classification with a set of binary classifiers. It can not only help a binary classifier solve mul...
PAMI
2010
13 years 7 months ago
2010
—A common way to model multiclass classification problems is to design a set of binary classifiers and to combine them. Error-Correcting Output Codes (ECOC) represent a successfu...
IUI
2012
ACM
12 years 4 months ago
2012
ACM
The next big step in embedded, mobile speech recognition will be to allow completely free input as it is needed for messaging like SMS or email. However, unconstrained dictation r...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— With the goal of developing biologically inspired manipulation strategies for an anthropomorphic hand, we investigated how the human central nervous system utilizes the hands r...