Sciweavers

1870 search results - page 52 / 374
» Abstract And-Parallel Machines
Sort
View
ACAL
2009
Springer
14 years 2 months ago
Evaluation of the Effectiveness of Machine-Based Situation Assessment
The Information Fusion Panel within The Technical Cooperation Program (TTCP) is developing algorithms to perform machine-based situation assessment to assist human operators in co...
David M. Lingard, Dale A. Lambert
TPHOL
1999
IEEE
14 years 9 days ago
A Machine-Checked Theory of Floating Point Arithmetic
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
John Harrison
AAAI
2006
13 years 9 months ago
Multiclass Support Vector Machines for Articulatory Feature Classification
of somewhat abstracting away from the literal physiological measurements of articulation that are so closely tied to the acoustic signal, and with some additional computational bur...
Brian Hutchinson, Jianna Zhang
ESANN
2000
13 years 9 months ago
Support Vector Committee Machines
Abstract. This paper proposes a mathematical programming framew ork for combining SVMs with possibly di erent kernels. Compared to single SVMs, the advantage of this approach is tw...
Dominique Martinez, Gilles Millerioux
ICDCSW
2009
IEEE
14 years 2 months ago
Embedded Virtual Machines for Robust Wireless Control Systems
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
Rahul Mangharam, Miroslav Pajic