Sciweavers

2049 search results - page 317 / 410
» ICT as a tool for learning to learn
Sort
View
DGO
2011
264views Education» more  DGO 2011»
12 years 10 months ago
Developing an ontology for the U.S. patent system
The past few years have experienced an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous...
Siddharth Taduri, Gloria T. Lau, Kincho H. Law, Ha...
WOSP
2005
ACM
14 years 4 months ago
A model transformation framework for the automated building of performance models from UML models
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
Andrea D'Ambrogio
ICCD
2000
IEEE
119views Hardware» more  ICCD 2000»
14 years 2 months ago
Source-Level Transformations for Improved Formal Verification
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
Brian D. Winters, Alan J. Hu
PROMISE
2010
13 years 5 months ago
Case-based reasoning vs parametric models for software quality optimization
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
Adam Brady, Tim Menzies
KDD
2004
ACM
154views Data Mining» more  KDD 2004»
14 years 11 months ago
Diagnosing extrapolation: tree-based density estimation
There has historically been very little concern with extrapolation in Machine Learning, yet extrapolation can be critical to diagnose. Predictor functions are almost always learne...
Giles Hooker