Sciweavers

5608 search results - page 91 / 1122
» Structure description tools
Sort
View
ISQED
2002
IEEE
203views Hardware» more  ISQED 2002»
15 years 2 months ago
Automatic Test Program Generation from RT-Level Microprocessor Descriptions
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...
LREC
2010
168views Education» more  LREC 2010»
14 years 11 months ago
Formal Description of Resources for Ontology-based Semantic Annotation
Ontology-based semantic annotation aims at putting fragments of a text in correspondence with proper elements of an ontology such that the formal semantics encoded by the ontology...
Yue Ma, Adeline Nazarenko, Laurent Audibert
CORR
1998
Springer
103views Education» more  CORR 1998»
14 years 9 months ago
The descriptive complexity approach to LOGCFL
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
Clemens Lautemann, Pierre McKenzie, Thomas Schwent...

Publication
222views
16 years 9 months ago
Quantitative Description of Spatially Homogeneous Textures by Characteristic Grey Level Co-Occurrences
Gibbs random eld model with multiple pairwise pixel interactions describes each type of spatially homogeneous image textures in terms of a pixel neighbourhood and Gibbs potentials...
Georgy Gimel'farb
ICIP
2001
IEEE
15 years 11 months ago
Shape description of three-dimensional images based on medial axis
3D-shape description requires the partition of objects in different parts. In this paper, we propose a new approach based on the analysis of a 3D skeleton. The skeleton is a repre...
Alexandra Bonnassie, Françoise Peyrin, Domi...