Abstract -- This paper describes a new memory estimation technique for DSP applications written in an applicative language. Since no concept of storage is present in an applicative...
Ingrid Verbauwhede, Chris J. Scheers, Jan M. Rabae...
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...
This papers analyzes the reliability of radius of curvature estimates from tactile sensor data. A linear elastic model is used to t the indenter parameters, load, location, and cu...
The quality of ontologies (QoO) is increasingly becoming a research issue on the Semantic Web. Ontology users may have difficulties locating the proper concepts in large ontologie...