In this paper we present a prefetch technique, which incorporates a scheme similar to data streaming to minimize the response-lag. Unlike previous all or none techniques, we propo...
G. Wegner [12] gave a geometric characterization of all so–called Groemer packing of n ≥ 2 unit discs in E2 that are densest packings of n unit discs with respect to the conve...
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
This short overview paper points out the striking similarity between decision under uncertainty and multicriteria decision making problems, two areas which have been developed in ...
— This paper describes the design and implementation of a digital ink recognition server for handwritten Japanese text. Currently, fast and accurate recognition of online handwri...