5510 search results - page 304 / 1102 » Mathematics |
169
click to vote
COLING
1996
15 years 7 months ago
1996
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expre...
135
click to vote
COLING
1996
15 years 7 months ago
1996
The paper is a first attempt to fill a gap in the dependency literature, by providing a mathematical result on the complexity of recognition with a dependency grammar. The paper d...
189
click to vote
NIPS
1994
15 years 7 months ago
1994
This paper studies the convergence properties of the well known K-Means clustering algorithm. The K-Means algorithm can be described either as a gradient descent algorithmor by sl...
167
click to vote
SPLC
2007
15 years 7 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
161
click to vote
CSREAEEE
2009
15 years 7 months ago
2009
Abstract - This paper, presents a theoretical study of eLlearning authoring tools to produce online courses specialized in mathematical issues. We will introduce specialized module...