4770 search results - page 160 / 954 » Flexible Type Analysis |
102
click to vote
SIAMSC
2008
15 years 4 months ago
2008
The Landweber method is a simple and flexible iterative regularization algorithm, whose projected variant provides nonnegative image reconstructions. Since the method is usually v...
114
click to vote
INFOVIS
1995
IEEE
15 years 8 months ago
1995
IEEE
SelectiveDynamic Manipulation (SDM) is a paradigm for interacting with objects in visualizations, Its methodsoffer a high degree of selectivity, in choosing object sets, in the se...
136
Voted
SIMVIS
2004
15 years 6 months ago
2004
We describe methods for the specification and modification of virtual resections in medical volume data. These techniques are focused on applications in therapy planning, but are a...
137
click to vote
LFCS
1992
Springer
15 years 8 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
152
Voted
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Web link analysis has proven to be a significant enhancement for quality based web search. Most existing links can be classified into two categories: intra-type links (e.g., web h...