4502 search results - page 669 / 901 » Regular Model Checking |
185
click to vote
3DPVT
2006
IEEE
16 years 15 days ago
2006
IEEE
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...
136
Voted
DSN
2006
IEEE
16 years 14 days ago
2006
IEEE
As most computer systems are expected to remain operational 24 hours a day, 7 days a week, they must complete maintenance work while in operation. This work is in addition to the ...
199
click to vote
IJCNN
2006
IEEE
16 years 13 days ago
2006
IEEE
With very noisy data, having plentiful samples eliminates overfitting in nonlinear regression, but not in nonlinear principal component analysis (NLPCA). To overcome this problem...
162
click to vote
DCOSS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Every physical event results in a natural information gradient in the proximity of the phenomenon. Moreover, many physical phenomena follow the diffusion laws. This natu...
179
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
—Intelligent mobile terminals (or users) of next generation wireless networks are expected to initiate voice over IP (VoIP) calls using session set-up protocols like H.323 or SIP...