6455 search results - page 990 / 1291 » Research problems |
143
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Recent research has focused on using the power of look-ahead to speed up the resolution of the Max-SAT problem. Indeed, look-ahead techniques such as Unit Propagation (UP) allow to...
145
click to vote
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
Despite the fact that electronic publishing is a common activity to scholars, electronic journals are still based in the print model and do not take full advantage of the faciliti...
106
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Anonymous communication protocols must achieve two seemingly contradictory goals: privacy (informally, they must guarantee the anonymity of the parties that send/receive informa...
142
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
140
click to vote
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
—There is a global consensus on the need to reduce our collective carbon footprint. While much research attention has focused on developing alternative energy sources, automotive...