Sciweavers

1404 search results - page 121 / 281
» Complexity of admissible rules
Sort
View
129
Voted
AML
2002
69views more  AML 2002»
15 years 3 months ago
Transfer principles in nonstandard intuitionistic arithmetic
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
J. Avigad, Jeremy Helzner
TNN
1998
92views more  TNN 1998»
15 years 3 months ago
Inductive inference from noisy examples using the hybrid finite state filter
—Recurrent neural networks processing symbolic strings can be regarded as adaptive neural parsers. Given a set of positive and negative examples, picked up from a given language,...
Marco Gori, Marco Maggini, Enrico Martinelli, Giov...
86
Voted
CBRMD
2010
40views more  CBRMD 2010»
15 years 2 months ago
Adaptation Problems focusing on Endocrine Therapy Support
So far, Case-Based Reasoning has not become as successful in medicine as in some other application domains. One, probably the main reason is the adaptation problem. In Case-Based R...
Rainer Schmidt, Olga Vorobieva
ICIP
2010
IEEE
15 years 1 months ago
Robust interactive image segmentation with automatic boundary refinement
We propose an effective image segmentation approach with a novel automatic boundary refinement procedure that requires little user interaction and makes the object cutout process ...
Dingding Liu, Yingen Xiong, Linda G. Shapiro, Kari...
133
Voted
AIME
2009
Springer
15 years 1 months ago
Mining Safety Signals in Spontaneous Reports Database Using Concept Analysis
Abstract. In pharmacovigilance, linking the adverse reactions by patients to drugs they took is a key activity typically based on the analysis of patient reports. Yet generating po...
Mohamed Rouane Hacene, Yannick Toussaint, Petko Va...