15120 search results - page 2786 / 3024 » Learning with Local Models |
125
Voted
GLVLSI
2009
IEEE
15 years 9 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
163
Voted
SIBGRAPI
2009
IEEE
15 years 9 months ago
2009
IEEE
—We present the Hermite radial basis function (HRBF) implicits method to compute a global implicit function which interpolates scattered multivariate Hermite data (unstructured p...
128
Voted
SASO
2009
IEEE
15 years 9 months ago
2009
IEEE
An optimal sensor layout is attained when a limited number of sensors are placed in an area such that the cost of the placement is minimised while the value of the obtained inform...
128
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Dynamic spectrum access has been proposed as a means to share scarce radio resources, and requires devices to follow protocols that use resources in a proper, disciplined manner...
110
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
Ibis is an open source software framework that drastically simplifies the process of programming and deploying large-scale parallel and distributed grid applications. Ibis suppor...