2241 search results - page 239 / 449 » Performance Modeling and Evaluation of E-Business Systems |
186
click to vote
TASE
2007
IEEE
16 years 26 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
202
click to vote
3DPVT
2006
IEEE
16 years 20 days ago
2006
IEEE
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected three dimensional (3D) objects. Because...
189
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
173
click to vote
CIKM
2001
Springer
15 years 11 months ago
2001
Springer
The language modeling approach to retrieval has been shown to perform well empirically. One advantage of this new approach is its statistical foundations. However, feedback, as on...
188
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Kernel machines have recently been considered as a promising solution for implicit surface modelling. A key challenge of machine learning solutions is how to fit implicit shape mo...