6020 search results - page 194 / 1204 » A New Approach to Model Counting |
115
click to vote
ICASSP
2007
IEEE
15 years 8 months ago
2007
IEEE
Thanks to a specific formalism for signal generation, it is possible to transpose an image processing problem to an array processing problem. For straight line characterization, t...
156
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
The problem of building Recommender Systems has attracted considerable attention in recent years, but most recommender systems are designed for recommending items for individuals....
145
Voted
ACSW
2006
15 years 6 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
132
click to vote
TREC
2003
15 years 6 months ago
2003
: We describe our participation in the TREC 2003 Robust and Web tracks. For the Robust track, we experimented with the impact of stemming and feedback on the worst scoring topics. ...
114
click to vote
NIPS
2000
15 years 6 months ago
2000
The principle of maximizing mutual information is applied to learning overcomplete and recurrent representations. The underlying model consists of a network of input units driving...