6020 search results - page 719 / 1204 » A New Approach to Model Counting |
205
Voted
RECSYS
2010
ACM
15 years 7 months ago
2010
ACM
Collaborative filtering is a popular approach for building recommender systems. Current collaborative filtering algorithms are accurate but also computationally expensive, and so ...
178
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper considers the enhancement of noisy speech. Earlier studies have revealed that an approach that enhances spectral envelopes by using prior knowledge about the all-pole (...
206
click to vote
FGCS
2008
15 years 7 months ago
2008
The purpose of ubiquitous computing is anywhere and anytime access to information within computing infrastructures that is blended into a background and no longer be reminded. Thi...
188
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
Mesh deformation techniques that preserve the differential properties have been intensively studied. In this paper, we propose an equality-constrained least squares approach for s...
194
Voted
ENTCS
2006
15 years 6 months ago
2006
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...