Sciweavers

1648 search results - page 152 / 330
» Structuring namespace descriptions
Sort
View
DAC
2003
ACM
16 years 5 months ago
A tool for describing and evaluating hierarchical real-time bus scheduling policies
We present a tool suite for building, simulating, and analyzing the results of hierarchical descriptions of the scheduling policy for modules sharing a bus in real-time applicatio...
Trevor Meyerowitz, Claudio Pinello, Alberto L. San...
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...
ICFP
2005
ACM
16 years 4 months ago
A logical analysis of aliasing in imperative higher-order functions
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
Martin Berger, Kohei Honda, Nobuko Yoshida
ICDM
2008
IEEE
136views Data Mining» more  ICDM 2008»
15 years 10 months ago
Generalized Framework for Syntax-Based Relation Mining
Supervised approaches to Data Mining are particularly appealing as they allow for the extraction of complex relations from data objects. In order to facilitate their application i...
Bonaventura Coppola, Alessandro Moschitti, Daniele...
SEMWEB
2007
Springer
15 years 10 months ago
Extreme Tagging: Emergent Semantics through the Tagging of Tags
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
Vlad Tanasescu, Olga Streibel