1492 search results - page 73 / 299 » Testing Properties of Constraint-Graphs |
158
Voted
NAR
2011
14 years 6 months ago
2011
We present the relational database EDULISS (EDinburgh University Ligand Selection System), which stores structural, physicochemical and pharmacophoric properties of small molecule...
130
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
COLING
2010
14 years 10 months ago
2010
We present a library of implemented HPSG analyses for argument optionality based on typological studies of this phenomenon in the world's languages, developed in the context ...
134
Voted
JMLR
2010
14 years 10 months ago
2010
Hartigan's method for k-means clustering is the following greedy heuristic: select a point, and optimally reassign it. This paper develops two other formulations of the heuri...
117
Voted
JMLR
2010
14 years 10 months ago
2010
In this paper we consider a regularization approach to variable selection when the regression function depends nonlinearly on a few input variables. The proposed method is based o...