the concept of comprehensive grobner bases was introduced by weispfenning. montes has proposed an efficient algorithm for computing these bases. but he has not explicitly used buchberger's criteria in his algorithm. in this paper we prove that we can apply these criteria on montes algorithm. we propose a modified version of montes algorithm and evaluate its performance via some examples.

in this paper we investigate a new notion of bases in hilbert spaces and similarto fusion frame theory we introduce fusion bases theory in hilbert spaces. we also introducea new denition of fusion dual sequence associated with a fusion basis and show that theoperators of a fusion dual sequence are continuous projections. next we dene the fusionbiorthogonal sequence, bessel fusion basis, hilbe...

Intelligent sensors experience security problems very similar to those inherent to other kinds of IT products or systems. The assurance for these products or systems creation methodologies, like Common Criteria (ISO/IEC 15408) can be used to improve the robustness of the sensor systems in high risk environments. The paper presents the background and results of the previous research on patterns-...

The paper presents a knowledge-based program for automatic generation of a highly structured set of World Wide Web (WWW or web) pages, starting from a knowledge base represented using a frame (object-oriented) paradigm. This program is one of the modules of an intelligent tutoring computer system for advanced computer programming [TrN96]. The tutoring system is built around a structured (frame-...

The paper presents a new ontology-based approach to the elaboration and management of evidences prepared by developers for the IT security evaluation process according to the Common Criteria standard. The evidences concern the claimed EAL (Evaluation Assurance Level) for a developed IT product or system, called TOE (Target of Evaluation), and depend on the TOE features and its development envir...

In this paper we investigate a new notion of bases in Hilbert spaces and similar to fusion frame theory we introduce fusion bases theory in Hilbert spaces. We also introduce a new denition of fusion dual sequence associated with a fusion basis and show that the operators of a fusion dual sequence are continuous projections. Next we dene the fusion biorthogonal sequence, Bessel fusion basis, Hil...

This article summarizes the authors’ two years experience in implementing CGWorld a web based workbench for joint distributed development of a knowledge base of conceptual graphs, which resides on a central server. The paper discusses the new component-based architecture of the workbench. The major development during the last year was the integration of operations on Conceptual Graphs. The supp...

OBJECTIVES To characterise the information needs of family doctors by collecting the questions they asked about patient care during consultations and to classify these in ways that would be useful to developers of knowledge bases. DESIGN Observational study in which investigators visited doctors for two half days and collected their questions. Taxonomies were developed to characterise the cli...