2623 search results - page 88 / 525 » tools 2010 |
APPML
2010
13 years 10 months ago
2010
The weighted energy-dissipation principle stands as a novel variational tool for the study of dissipative evolution and has been already applied to rate-independent systems and gra...
ENTCS
2006
13 years 10 months ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...
ENTCS
2007
13 years 10 months ago
2007
A model characterising strong normalisation for Klop’s extension of λ-calculus is presented. The main technical tools for this result are an inductive definition of strongly n...
JMLR
2010
13 years 4 months ago
2010
Massive Online Analysis (MOA) is a software environment for implementing algorithms and running experiments for online learning from evolving data streams. MOA includes a collecti...
TLT
2010
13 years 4 months ago
2010
Wikis today are being used as a tool to conduct collaborative writing assignments in classrooms. However, typical Wikis do not adequately address the assessment of individual stude...