1421 search results - page 160 / 285 » Resampling methods for input modeling |
145
Voted
WEBI
2007
Springer
15 years 9 months 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...
151
Voted
HAPTICS
2005
IEEE
15 years 9 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...
101
Voted
DATE
2010
IEEE
15 years 8 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...
128
Voted
FTRTFT
1994
Springer
15 years 7 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...
126
Voted
FM
2008
Springer
15 years 5 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...