Sciweavers

1584 search results - page 185 / 317
» Continuous Optimization of Hyper-Parameters
Sort
View
FMCAD
2004
Springer
15 years 8 months ago
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
Thao Dang, Alexandre Donzé, Oded Maler
EDBTW
2006
Springer
15 years 8 months ago
Using Temporal Semantics for Live Media Stream Queries
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
Bin Liu, Amarnath Gupta, Ramesh Jain
DASFAA
2010
IEEE
189views Database» more  DASFAA 2010»
15 years 7 months ago
Efficient Skyline Maintenance for Streaming Data with Partially-Ordered Domains
We address the problem of skyline query processing for a count-based window of continuous streaming data that involves both totally- and partially-ordered attribute domains. In thi...
Yuan Fang, Chee-Yong Chan
PERCOM
2010
ACM
15 years 6 months ago
Collaborative real-time speaker identification for wearable systems
We present an unsupervised speaker identification system for personal annotations of conversations and meetings. The system dynamically learns new speakers and recognizes already k...
Mirco Rossi, Oliver Amft, Martin Kusserow, Gerhard...
ICDM
2007
IEEE
129views Data Mining» more  ICDM 2007»
15 years 6 months ago
Feature Selection for Nonlinear Kernel Support Vector Machines
An easily implementable mixed-integer algorithm is proposed that generates a nonlinear kernel support vector machine (SVM) classifier with reduced input space features. A single ...
Olvi L. Mangasarian, Gang Kou