Sciweavers

600 search results - page 85 / 120
» Problems and results in extremal combinatorics - II
Sort
View
ICSE
1999
IEEE-ACM
14 years 1 months ago
Haemo Dialysis Software Architecture Design Experiences
In this paper we present the experiences and architecture from a research project conducted in cooperation with two industry partners. The goal of the project was to reengineer an...
PerOlof Bengtsson, Jan Bosch
MICCAI
1999
Springer
14 years 1 months ago
Statistical Segmentation of fMRI Activations Using Contextual Clustering
Abstract. A central problem in the analysis of functional magnetic resonance imaging (fMRI) data is the reliable detection and segmentation of activated areas. Often this goal is a...
Eero Salli, Ari Visa, Hannu J. Aronen, Antti Korve...
AMET
1998
Springer
14 years 1 months ago
Bid Evaluation and Selection in the MAGNET Automated Contracting System
We present an approach to the bid-evaluation problem in a system for multi-agent contract negotiation, called MAGNET. The MAGNET market infrastructure provides support for a variet...
Erik S. Steinmetz, John Collins, Scott Jamison, Ra...
CVPR
1997
IEEE
14 years 1 months ago
Deformable Multi Template Matching with Application to Portal Images
The exact positioning of patients during radiotherapy is essential for high precision treatment. The registration of portal image sequences can help to control the patient positio...
Martin Berger, Gaudenz Danuser
ICCAD
1996
IEEE
112views Hardware» more  ICCAD 1996»
14 years 1 months ago
GRASP - a new search algorithm for satisfiability
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
João P. Marques Silva, Karem A. Sakallah