Sciweavers

1146 search results - page 201 / 230
» Formal Specification Generation from Requirement Documents
Sort
View
EDBT
2010
ACM
125views Database» more  EDBT 2010»
15 years 1 months ago
A plan for OLAP
So far, data warehousing has often been discussed in the light of complex OLAP queries and as reporting facility for operative data. We argue that business planning as a means to ...
Bernhard Jaecksch, Wolfgang Lehner, Franz Faerber
80
Voted
FOAL
2008
ACM
14 years 11 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
LREC
2010
175views Education» more  LREC 2010»
14 years 11 months ago
The Creation of a Large-Scale LFG-Based Gold Parsebank
Systems for syntactically parsing sentences have long been recognized as a priority in Natural Language Processing. Statistics-based systems require large amounts of high quality ...
Alexis Baird, Christopher R. Walker
IADIS
2008
14 years 11 months ago
Subspace Orthogonal Projection for Texture Segmentation with Wavelet Frames
We propose a new supervised texture segmentation and classification technique based on combining features extracted from the discrete wavelet frames of an image (specifically, the...
Mahmoud K. Quweider
MC
2001
140views Computer Science» more  MC 2001»
14 years 11 months ago
Cooperative model production in systems design to support knowledge management
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
Christoph Clases