In recent years, many speed-up techniques for Dijkstra's algorithm have been developed that make the computation of shortest paths in static road networks a matter of microse...
Abstract. In recent years, the deteriorations of living habits like immobilization or unhealthy diet are becoming serious social problems in many developed countries. Even if we kn...
Effective group meetings are important for the productivity of corporations. Various types of meeting facilitators have been developed over the past couple of years. We present a ...
Ying Zhang, Marshall W. Bern, Juan Liu, Kurt Partr...
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...