Sciweavers

4355 search results - page 371 / 871
» From Interpretation to Compilation
Sort
View
MICCAI
2005
Springer
16 years 9 days ago
Knowledge-Based Classification of Neuronal Fibers in Entire Brain
This work presents a framework driven by parcellation of brain gray matter in standard normalized space to classify the neuronal fibers obtained from diffusion tensor imaging (DTI)...
Yan Xia, And U. Turken, Susan L. Whitfield-Gabriel...
SAMOS
2005
Springer
16 years 9 days ago
A Case for Visualization-Integrated System-Level Design Space Exploration
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
Andy D. Pimentel
AIMSA
2004
Springer
16 years 6 days ago
Capturing Semantics Towards Automatic Coordination of Domain Ontologies
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
Konstantinos Kotis, George A. Vouros, Kostas Sterg...
CMMR
2004
Springer
124views Music» more  CMMR 2004»
16 years 6 days ago
Collaborative Computer-Aided Parameter Exploration for Music and Animation
Although many artists have worked to create associations between music and animation, this has traditionally be done by developing one to suit the pre-existing other, as in visuali...
Daryl H. Hepting, David Gerhard
TCC
2004
Springer
173views Cryptology» more  TCC 2004»
16 years 4 days ago
Soundness of Formal Encryption in the Presence of Active Adversaries
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
Daniele Micciancio, Bogdan Warinschi