Sciweavers

951 search results - page 178 / 191
» Using Domain Ontology as Domain Knowledge for Requirements E...
Sort
View
ISSTA
2010
ACM
15 years 9 months ago
Learning from 6, 000 projects: lightweight cross-project anomaly detection
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...
Natalie Gruska, Andrzej Wasylkowski, Andreas Zelle...
BIRTHDAY
2006
Springer
15 years 9 months ago
Verification by Parallelization of Parametric Code
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
Tobias Gedell, Reiner Hähnle
CAISE
2006
Springer
15 years 9 months ago
A Platform for Managing Term Dictionaries for Utilizing Distributed Interview Archives
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...
Kenro Aihara, Atsuhiro Takasu
GRAPHICSINTERFACE
2007
15 years 7 months ago
Wavelet encoding of BRDFs for real-time rendering
Acquired data often provides the best knowledge of a material’s bidirectional reflectance distribution function (BRDF). Its integration into most real-time rendering systems re...
Luc Claustres, Loïc Barthe, Mathias Paulin
DMDW
2000
151views Management» more  DMDW 2000»
15 years 7 months ago
Automated dimensionality reduction of data warehouses
A data warehouse is designed to consolidate and maintain all attributes that are relevant for the analysis processes. Due to the rapid increase in the size of the modern operation...
Mark Last, Oded Maimon