Due to the convergence of various mobile access technologies like UMTS, WLAN, and WiMax the need for a new supporting infrastructure arises. This infrastructure should be able to ...
Physically disabled and mentally challenged people are an important part of our society that has not yet received the same opportunities as others in their inclusion in the Inform...
Javier Varona, Cristina Manresa-Yee, Francisco J. ...
A computer program that uses AI planning techniques is now the world’s best program for the game of contract bridge. As reported in The New York Times and The Washington Post, t...
Stephen J. J. Smith, Dana S. Nau, Thomas A. Throop
The rapid development of computer network technologies and social informationalization has brought many new opportunities and challenges in information security. With improved info...
Many lower bound computation methods for branch and bound Max-SAT solvers can be explained as procedures that search for disjoint inconsistent subformulas in the Max-SAT instance ...