2284 search results - page 89 / 457 » The new iris data: modular data generators |
VMCAI
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
ICML
2007
IEEE
14 years 11 months ago
2007
IEEE
We present a new machine learning framework called "self-taught learning" for using unlabeled data in supervised classification tasks. We do not assume that the unlabele...
DILS
2006
Springer
14 years 2 months ago
2006
Springer
Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow compone...
TVCG
2002
13 years 10 months ago
2002
Capturing live motion has gained considerable attention in computer animation as an important motion generation technique. Canned motion data comprise both position and orientation...
SEMWEB
2010
Springer
13 years 8 months ago
2010
Springer
The proliferation of linked data on the Web paves the way to a new generation of applications that exploit heterogeneous data from different sources. However, because this Web of d...