Sciweavers

1507 search results - page 193 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
AGENTS
2001
Springer
14 years 2 months ago
An auction-based method for decentralized train scheduling
We present a computational study of an auction-based method for decentralized train scheduling. The method is well suited to the natural information and control structure of moder...
David C. Parkes, Lyle H. Ungar
ISCI
2008
117views more  ISCI 2008»
13 years 10 months ago
Search based software testing of object-oriented containers
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...
Andrea Arcuri, Xin Yao
ISBI
2007
IEEE
14 years 4 months ago
Probabilistic Segmentation of Brain Tumors Based on Multi-Modality Magnetic Resonance Images
In this paper, multi-modal Magnetic Resonance (MR) images are integrated into a tissue profile that aims at differentiating tumor components, edema and normal tissue. This is achi...
Hongmin Cai, Ragini Verma, Yangming Ou, Seung-koo ...
ACS
2007
13 years 10 months ago
A Topologist's View of Chu Spaces
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
Eraldo Giuli, Walter Tholen
WEBNET
2001
13 years 11 months ago
An Adaptive Hypermedia Presentation Modeling System for Custom Knowledge Representations
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
Pablo Castells, José Antonio Macías ...