Sciweavers

769 search results - page 95 / 154
» Where Is the Proof
Sort
View
KBSE
1998
IEEE
14 years 1 months ago
Specification-based Browsing of Software Component Libraries
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
B. Fischer
DAM
2007
153views more  DAM 2007»
13 years 9 months ago
Computing the minimum number of hybridization events for a consistent evolutionary history
It is now well-documented that the structure of evolutionary relationships between a set of present-day species is not necessarily tree-like. The reason for this is that reticulat...
Magnus Bordewich, Charles Semple
VIS
2005
IEEE
122views Visualization» more  VIS 2005»
14 years 10 months ago
Effectively Visualizing Large Networks Through Sampling
We study the problem of visualizing large networks and develop es for effectively abstracting a network and reducing the size to a level that can be clearly viewed. Our size reduc...
Davood Rafiei, Stephen Curial
MICCAI
2006
Springer
14 years 10 months ago
Extrapolating Tumor Invasion Margins for Physiologically Determined Radiotherapy Regions
Abstract. In radiotherapy, the constant margin taken around the visible tumor is a very coarse approximation of the invasion margin of cancerous cells. In this article, a new formu...
Ender Konukoglu, Olivier Clatz, Pierre-Yves Bondia...
ICML
2004
IEEE
14 years 9 months ago
Convergence of synchronous reinforcement learning with linear function approximation
Synchronous reinforcement learning (RL) algorithms with linear function approximation are representable as inhomogeneous matrix iterations of a special form (Schoknecht & Merk...
Artur Merke, Ralf Schoknecht