5692 search results - page 39 / 1139 » Challenges and Unsolved Problems |
SC
2003
ACM
14 years 1 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
TCSV
2002
13 years 8 months ago
2002
An important and unsolved problem today is the automatic quantification of the quality of video flows transmitted over packet networks. In particular, the ability to perform this ...
IJCAI
1997
13 years 9 months ago
1997
The past several years have seen much progress in the area of propositional reasoning and satisfiability testing. There is a growing consensus by researchers on the key technical ...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
Over the last couple of years, face recognition researchers have been developing new techniques. These developments are being fueled by advances in computer vision techniques, com...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Software development is always a challenging undertaking and it requires high commitments from individuals who participate in it. Software development often involves new technolog...