3446 search results - page 646 / 690 » A Reasoning Algorithm for pD* |
118
click to vote
IWMM
2009
Springer
15 years 8 months ago
2009
Springer
The peak heap consumption of a program is the maximum size of the live data on the heap during the execution of the program, i.e., the minimum amount of heap space needed to run t...
122
click to vote
MOBISEC
2009
Springer
15 years 8 months ago
2009
Springer
Spam is a dominant problem on email systems today. One of the reasons is the lack of infrastructure for security and trust. As Voice over IP (VoIP) communication becomes increasing...
125
click to vote
SAT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
117
click to vote
MM
2009
ACM
15 years 8 months ago
2009
ACM
The main difficulty in face image modeling is to decompose those semantic factors contributing to the formation of the face images, such as identity, illumination and pose. One p...
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
– The latency between machines on the Internet can dramatically affect users’ experience for many distributed applications. Particularly, in multiplayer online games, players s...