Sciweavers

4708 search results - page 401 / 942
» Generating the Structure of Argument
Sort
View
KBSE
1998
IEEE
15 years 11 months ago
Explaining Synthesized Software
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
Jeffrey Van Baalen, Peter Robinson, Michael R. Low...
BILDMED
2003
176views Algorithms» more  BILDMED 2003»
15 years 8 months ago
Volumetric Meshes for Real-Time Medical Simulations
We present an approach to generating volumetric meshes from closed triangulated surface meshes. The approach initially generates a structured hexahedral mesh based on the bounding ...
Matthias Müller, Matthias Teschner
BMCBI
2004
228views more  BMCBI 2004»
15 years 6 months ago
An XML standard for the dissemination of annotated 2D gel electrophoresis data complemented with mass spectrometry results
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
Romesh Stanislaus, Liu Hong Jiang, Martha Swartz, ...
ISBI
2008
IEEE
16 years 7 months ago
Integrating volume visualization techniques into medical applications
One of the main obstacles in integrating 3D volume visualization in the clinical workflow is the time-consuming process of adjusting parameters such as viewpoint, transfer functio...
Stefan Bruckner, Peter Kohlmann, Armin Kanitsar, M...
WWW
2001
ACM
16 years 7 months ago
IEPAD: information extraction based on pattern discovery
The research in information extraction (IE) regards the generation of wrappers that can extract particular information from semistructured Web documents. Similar to compiler gener...
Chia-Hui Chang, Shao-Chen Lui