Sciweavers

1404 search results - page 121 / 281
» Complexity of admissible rules
Sort
View
AML
2002
69views more  AML 2002»
13 years 8 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»
13 years 8 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...
CBRMD
2010
40views more  CBRMD 2010»
13 years 7 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
13 years 7 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...
AIME
2009
Springer
13 years 6 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...