Sciweavers

2989 search results - page 145 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
TKDE
2012
227views Formal Methods» more  TKDE 2012»
13 years 11 days ago
Publishing Search Logs - A Comparative Study of Privacy Guarantees
—Search engine companies collect the “database of intentions”, the histories of their users’ search queries. These search logs are a gold mine for researchers. Search engin...
Michaela Götz, Ashwin Machanavajjhala, Guozha...
APSEC
2005
IEEE
15 years 3 months ago
A Passive Test Oracle Using a Component's API
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
Rakesh Shukla, David A. Carrington, Paul A. Stroop...
ICDM
2002
IEEE
133views Data Mining» more  ICDM 2002»
15 years 2 months ago
Estimating the number of segments in time series data using permutation tests
Segmentation is a popular technique for discovering structure in time series data. We address the largely open problem of estimating the number of segments that can be reliably di...
Kari Vasko, Hannu Toivonen
ICCAD
1997
IEEE
76views Hardware» more  ICCAD 1997»
15 years 2 months ago
Simulation methods for RF integrated circuits
Abstract — The principles employed in the development of modern RF simulators are introduced and the various techniques currently in use, or expected to be in use in the next few...
Kenneth S. Kundert
GECCO
2006
Springer
169views Optimization» more  GECCO 2006»
15 years 1 months ago
An open-set speaker identification system using genetic learning classifier system
This paper presents the design and implementation of an adaptive open-set speaker identification system with genetic learning classifier systems. One of the challenging problems i...
WonKyung Park, Jae C. Oh, Misty K. Blowers, Matt B...