Sciweavers

4564 search results - page 568 / 913
» Data Integration Using ID-Logic
Sort
View
CGF
2010
128views more  CGF 2010»
15 years 3 months ago
ProbExplorer: Uncertainty-guided Exploration and Editing of Probabilistic Medical Image Segmentation
In this paper, we develop an interactive analysis and visualization tool for probabilistic segmentation results in medical imaging. We provide a systematic approach to analyze, in...
Ahmed Saad, Torsten Möller, Ghassan Hamarneh
JAR
2008
77views more  JAR 2008»
15 years 3 months ago
Translating Higher-Order Clauses to First-Order Clauses
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
Jia Meng, Lawrence C. Paulson
KES
2006
Springer
15 years 3 months ago
Evolutionary Tuning of Combined Multiple Models
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...
Gregor Stiglic, Peter Kokol
PAMI
2008
188views more  PAMI 2008»
15 years 3 months ago
Segmentation and Tracking of Multiple Humans in Crowded Environments
Segmentation and tracking of multiple humans in crowded situations is made difficult by interobject occlusion. We propose a model-based approach to interpret the image observations...
Tao Zhao, Ramakant Nevatia, Bo Wu
115
Voted
AIEDAM
2000
98views more  AIEDAM 2000»
15 years 3 months ago
Generating and evaluating designs and plans for microwave modules
This paper describes the process planning techniques we developed for use in an Integrated Product and Process Design (IPPD) tool for the design and manufacture of microwave trans...
Dana S. Nau, Michael O. Ball, John S. Baras, Abdur...