Sciweavers

2701 search results - page 11 / 541
» On the form of witness terms
Sort
View
HASKELL
2008
ACM
13 years 8 months ago
Lightweight monadic regions
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
Oleg Kiselyov, Chung-chieh Shan
LACL
1998
Springer
13 years 11 months ago
Sequential Construction of Logical Forms
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...
Wilfried Meyer-Viol
IDEAL
2004
Springer
14 years 23 days ago
Learning to Classify Biomedical Terms Through Literature Mining and Genetic Algorithms.
We present an approach to classification of biomedical terms based on the information acquired automatically from the corpus of relevant literature. The learning phase consists of...
Irena Spasic, Goran Nenadic, Sophia Ananiadou
NN
2002
Springer
224views Neural Networks» more  NN 2002»
13 years 7 months ago
Optimal design of regularization term and regularization parameter by subspace information criterion
The problem of designing the regularization term and regularization parameter for linear regression models is discussed. Previously, we derived an approximation to the generalizat...
Masashi Sugiyama, Hidemitsu Ogawa
EMMCVPR
2009
Springer
14 years 1 days ago
A Local Normal-Based Region Term for Active Contours
Global region-based active contours, like the Chan-Vese model, often make strong assumptions on the intensity distributions of the searched object and background, preventing their ...
Julien Mille, Laurent D. Cohen