3468 search results - page 565 / 694 » An open logical framework |
CEAS
2004
Springer
14 years 2 months ago
2004
Springer
Spam has become a major problem that is threatening the efficiency of the current email system. Spam is overwhelming the Internet because 1) emails are pushed from senders to recei...
DSMML
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper summarizes some of the current research challenges arising from multi-channel sequence processing. Indeed, multiple real life applications involve simultaneous...
GRID
2004
Springer
14 years 2 months ago
2004
Springer
With the advent of Grid computing, more and more highend computational resources become available for use to a scientist. While this opens up new avenues for scientific research,...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
WEBI
2004
Springer
14 years 2 months ago
2004
Springer
In order to achieve optimal efficiency in a learning process, individual learner needs his/her own personalized assistance. For a web-based open and dynamic learning environment, ...