Sciweavers

1341 search results - page 100 / 269
» Periods in Extensions of Words
Sort
View
MP
2010
157views more  MP 2010»
14 years 11 months ago
Newton's method for generalized equations: a sequential implicit function theorem
In the extension of Newton’s method to generalized equations, applying to variational inequalities as a special case, convergence analysis relates to a corresponding implicit fun...
Asen L. Dontchev, R. Tyrrell Rockafellar
91
Voted
CICLING
2010
Springer
14 years 7 months ago
Who's the Thief? Automatic Detection of the Direction of Plagiarism
Determining the direction of plagiarism (who plagiarized whom in a given pair of documents) is one of the most interesting problems in the field of automatic plagiarism detection. ...
Cristian Grozea, Marius Popescu
97
Voted
JUCS
2010
95views more  JUCS 2010»
14 years 7 months ago
Realisability for Induction and Coinduction with Applications to Constructive Analysis
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
Ulrich Berger
125
Voted
SCP
2010
189views more  SCP 2010»
14 years 7 months ago
Distributed and Collaborative Software Evolution Analysis with Churrasco
Analyzing the evolution of large and long-lived software systems is a complex problem that requires extensive tool support due to the amount and complexity of the data that needs ...
Marco D'Ambros, Michele Lanza
FOIS
2006
15 years 2 months ago
A Dynamic Theory of Ontology
Natural languages are easy to learn by infants, they can express any thought that any adult might ever conceive, and they accommodate the limitations of human breathing rates and s...
John F. Sowa