1421 search results - page 160 / 285 » Resampling methods for input modeling |
174
click to vote
WEBI
2007
Springer
16 years 13 days ago
2007
Springer
— Many information retrieval and machine learning methods have not evolved in order to be applied to the Web. Two main problems in applying some machine learning techniques for W...
189
click to vote
HAPTICS
2005
IEEE
15 years 12 months ago
2005
IEEE
The manual step in semi-automatic segmentation of medical volume images typically involves initialization procedures such as placement of seed-points or positioning of surface mod...
130
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Module paths are often used to specify the delays of cells in a Verilog cell library description, which define the propagation delay for an event from an input to an output. Sp...
160
click to vote
FTRTFT
1994
Springer
15 years 10 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
160
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...