Sciweavers

769 search results - page 95 / 154
» Where Is the Proof
Sort
View
KBSE
1998
IEEE
15 years 8 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»
15 years 4 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»
16 years 5 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
16 years 5 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
16 years 4 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