Sciweavers

11030 search results - page 1832 / 2206
» Generative Sound Models
Sort
View
ML
2006
ACM
143views Machine Learning» more  ML 2006»
15 years 6 months ago
Mathematical applications of inductive logic programming
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
Simon Colton, Stephen Muggleton
GEOINFORMATICA
2007
111views more  GEOINFORMATICA 2007»
15 years 6 months ago
LiDAR-Derived High Quality Ground Control Information and DEM for Image Orthorectification
Orthophotos (or orthoimages if in digital form) have long been recognised as a supplement or alternative to standard maps. The increasing applications of orthoimages require effor...
Xiaoye Liu, Zhenyu Zhang, Jim Peterson, Shobhit Ch...
AIEDU
2005
144views more  AIEDU 2005»
15 years 6 months ago
An Algebra Subsystem for Diagnosing Students' Input in a Physics Tutoring System
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
Joel A. Shapiro
ASE
2005
137views more  ASE 2005»
15 years 6 months ago
Rewriting-Based Techniques for Runtime Verification
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
Grigore Rosu, Klaus Havelund
BC
2005
101views more  BC 2005»
15 years 6 months ago
A control theory approach to the analysis and synthesis of the experimentally observed motion primitives
Recent experiments on frogs and rats, have led to the hypothesis that sensory-motor systems are organized into a finite number of linearly combinable modules; each module generates...
Francesco Nori, Ruggero Frezza
« Prev « First page 1832 / 2206 Last » Next »