Sciweavers

2748 search results - page 142 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
CGO
2007
IEEE
15 years 10 months ago
Rapidly Selecting Good Compiler Optimizations using Performance Counters
Applying the right compiler optimizations to a particular program can have a significant impact on program performance. Due to the non-linear interaction of compiler optimization...
John Cavazos, Grigori Fursin, Felix V. Agakov, Edw...
DAC
1997
ACM
15 years 8 months ago
Toward Formalizing a Validation Methodology Using Simulation Coverage
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
Aarti Gupta, Sharad Malik, Pranav Ashar
CIVR
2004
Springer
117views Image Analysis» more  CIVR 2004»
15 years 9 months ago
Using Maximum Entropy for Automatic Image Annotation
In this paper, we propose the use of the Maximum Entropy approach for the task of automatic image annotation. Given labeled training data, Maximum Entropy is a statistical techniqu...
Jiwoon Jeon, R. Manmatha
MICCAI
2007
Springer
16 years 5 months ago
LOCUS: LOcal Cooperative Unified Segmentation of MRI Brain Scans
Abstract. We propose to carry out cooperatively both tissue and structure segmentations by distributing a set of local and cooperative models in a unified MRF framework. Tissue seg...
Benoit Scherrer, Michel Dojat, Florence Forbes, Ca...
ECBS
2011
IEEE
204views Hardware» more  ECBS 2011»
14 years 4 months ago
Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
Matthias Riebisch, Stephan Bode, Qurat-ul-ann Faro...