In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
The Internet has enabled a great amount of information to be readily available and easily accessible. It has promoted several changes in the world, including in the education area...
Sean W. M. Siqueira, Maria Helena Lima Baptista Br...
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...
Existing built-in self test (BIST) strategies require the use of specialized test pattern generation hardware which introduces signicant area overhead and performance degradation...
In todays bioinformatics, Mass spectrometry (MS) is the key technique for the identification of proteins. A prediction of spectrum peak intensities from pre computed molecular feat...
Alexandra Scherbart, Wiebke Timm, Sebastian Bö...