Sciweavers

2799 search results - page 198 / 560
» The regenerator location problem
Sort
View
DAC
1994
ACM
15 years 10 months ago
Memory Estimation for High Level Synthesis
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...
EUROCAST
1994
Springer
139views Hardware» more  EUROCAST 1994»
15 years 10 months ago
Illustrating Constraint Programming Systems in Logistic Planning
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...
Jean-Michel Thizy
162
Voted
LPAR
2000
Springer
15 years 10 months ago
On the Complexity of Theory Curbing
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...
Thomas Eiter, Georg Gottlob
ICRA
1995
IEEE
92views Robotics» more  ICRA 1995»
15 years 10 months ago
The Reliability of Curvature Estimates from Linear Elastic Tactile Sensors
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...
Edward J. Nicolson, Ronald S. Fearing
FLAIRS
2007
15 years 9 months ago
Rating the Naturalness of Ontology Taxonomies
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...
Yoo Jung An, Kuo-Chuan Huang, James Geller