Sciweavers

570 search results - page 37 / 114
» Web-Based Feature Reduction System: A Case Study
Sort
View
ICASSP
2008
IEEE
14 years 4 months ago
System combination using auxiliary information for speaker verification
Recent studies in speaker recognition have shown that scorelevel combination of subsystems can yield significant performance gains over individual subsystems. We explore the use ...
Luciana Ferrer, Martin Graciarena, Argyrios Zymnis...
JNS
2008
55views more  JNS 2008»
13 years 10 months ago
Interaction of Two Charges in a Uniform Magnetic Field: II. Spatial Problem
The interaction of two charges moving in R3 in a magnetic field B can be formulated as a Hamiltonian system with six degrees of freedom. Assuming that the magnetic field is uniform...
D. Pinheiro, R. S. MacKay
CADE
2006
Springer
14 years 10 months ago
Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
Roy Dyckhoff, Delia Kesner, Stéphane Lengra...
ICSE
2004
IEEE-ACM
14 years 10 months ago
A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
J. H. Sowell, R. E. Kurt Stirewalt
ITS
1998
Springer
129views Multimedia» more  ITS 1998»
14 years 2 months ago
Cognitive Measures for Visual Concept Teaching with Intelligent Tutoring Systems
Abstract: This article reports on the application of general cognitive measures to describe and order the knowledge base of radiological images, aimed at the teaching of visual con...
Andrey R. Pimentel, Alexandre I. Direne