Sciweavers

4486 search results - page 731 / 898
» Adaptable Boundary Sets
Sort
View
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 11 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
DEXA
2003
Springer
147views Database» more  DEXA 2003»
15 years 11 months ago
Context-Aware Data Mining Framework for Wireless Medical Application
Abstract. Data mining, which aims at extracting interesting information from large collections of data, has been widely used as an effective decision making tool. Mining the datas...
Pravin Vajirkar, Sachin Singh, Yugyung Lee
EUROCAST
2003
Springer
135views Hardware» more  EUROCAST 2003»
15 years 11 months ago
White Matter Mapping in DT-MRI Using Geometric Flows
Abstract. We present a 3D geometric flow designed to evolve in Diffusion Tensor Magnetic Resonance Images(DT-MRI) along fiber tracts by measuring the diffusive similarity betwe...
Lisa Jonasson, Patric Hagmann, Xavier Bresson, Ret...
GECCO
2003
Springer
120views Optimization» more  GECCO 2003»
15 years 11 months ago
System-Level Synthesis of MEMS via Genetic Programming and Bond Graphs
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
Zhun Fan, Kisung Seo, Jianjun Hu, Ronald C. Rosenb...
IMR
2003
Springer
15 years 11 months ago
Meshing of Diffusion Surfaces for Point-Based Tensor Field Visualization
The visualization of 3D vector and tensor fields in a 2D image is challenging because the large amount of information will either be mixed during projection to 2D or lead to seve...
Ralf Sondershaus, Stefan Gumhold