4502 search results - page 384 / 901 » Regular Model Checking |
207
click to vote
PAMI
2010
15 years 5 months ago
2010
—Adapting the hyperparameters of support vector machines (SVMs) is a challenging model selection problem, especially when flexible kernels are to be adapted and data are scarce....
166
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Lidar waveforms are 1D signal consisting of a train of echoes where each of them correspond to a scattering target of the Earth surface. Modeling these echoes with the appropriate...
180
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
156
Voted
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a generic and efficient method for 2D and 3D shape estimation via density Þelds. Our method models shape as a density map and uses the notion of density to Þt a mod...
180
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...