2526 search results - page 224 / 506 » A New Algorithm for Answer Set Computation |
176
click to vote
ISQED
2000
IEEE
15 years 11 months ago
2000
IEEE
A new algorithm to determine the number and value of realistic worst-case models for the performance of module library components is presented in this paper. The proposed algorith...
174
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
149
click to vote
ACSC
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents a new model to measure semantic similarity in the taxonomy of WordNet, using edgecounting techniques. We weigh up our model against a benchmark set by human si...
204
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
Sparse coding, which is the decomposition of a vector using only a few basis elements, is widely used in machine learning and image processing. The basis set, also called dictiona...
184
click to vote
MOBISYS
2010
ACM
15 years 9 months ago
2010
ACM
This paper develops a navigation service, called GreenGPS, that uses participatory sensing data to map fuel consumption on city streets, allowing drivers to find the most fueleffi...