Sciweavers

3007 search results - page 106 / 602
» Designed -in-diagnostics: A new optical method
Sort
View
KDD
1997
ACM
104views Data Mining» more  KDD 1997»
15 years 2 months ago
Proposal and Empirical Comparison of a Parallelizable Distance-Based Discretization Method
Many classification algorithms are designed to work with datasets that contain only discrete attributes. Discretization is the process of converting the continuous attributes of ...
Jesús Cerquides, Ramon López de M&aa...
ASPDAC
2005
ACM
107views Hardware» more  ASPDAC 2005»
14 years 12 months ago
Substrate resistance extraction with direct boundary element method
- It is important to model the substrate coupling for mixed-signal circuit designs today. This paper presents the direct boundary element method (BEM) for substrate resistance calc...
Xiren Wang, Wenjian Yu, Zeyi Wang
PERSUASIVE
2010
Springer
14 years 7 months ago
Behavior Wizard: A Method for Matching Target Behaviors with Solutions
We present a method for matching target behaviors with solutions for achieving those behaviors. Called the Behavior Wizard, this method first classifies behavior change targets int...
B. J. Fogg, Jason Hreha
FORTE
1994
14 years 11 months ago
Proving the value of formal methods
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
Gerard J. Holzmann
SAC
2008
ACM
14 years 9 months ago
Adaptive methods for sequential importance sampling with application to state space models
Abstract. In this paper we discuss new adaptive proposal strategies for sequential Monte Carlo algorithms--also known as particle filters--relying on new criteria evaluating the qu...
Julien Cornebise, Eric Moulines, Jimmy Olsson