There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
The Internet as a medium for communication and information distribution has opened up new opportunities for distance education programs. Not only is the scope of a program, in ter...
Case-based reasoning (CBR) has a great deal to o er in supporting creative design, particularly processes that rely heavily on previous design experience, such as framing the prob...
Norway has started to implement e-voting (over the Internet, and by using voters' own computers) within the next few years. The vulnerability of voter's computers was ide...
Over the last few years, application-layer multicast (ALM) has emerged as a plausible solution for supporting group-oriented applications. However, ALM suffers from inefficiency ...