5578 search results - page 497 / 1116 » Base Class Injection |
179
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
A local shape feature has an advantage in dealing with deformable or articulated 3D models. We evaluate the performance of our local, 2D visual features and their integration meth...
249
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
169
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
158
click to vote
DNA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics are computed by metabolic algor...
211
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose an automatic text classification method based on word sense disambiguation. We use “hood” algorithm to remove the word ambiguity so that each word is ...