Sciweavers

6549 search results - page 203 / 1310
» Parsimonious additive models
Sort
View
SPIN
2004
Springer
15 years 12 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
CIKM
2001
Springer
15 years 11 months ago
Model-based Feedback in the Language Modeling Approach to Information Retrieval
The language modeling approach to retrieval has been shown to perform well empirically. One advantage of this new approach is its statistical foundations. However, feedback, as on...
ChengXiang Zhai, John D. Lafferty
PKDD
2001
Springer
104views Data Mining» more  PKDD 2001»
15 years 11 months ago
Data Reduction Using Multiple Models Integration
Large amount of available information does not necessarily imply that induction algorithms must use all this information. Samples often provide the same accuracy with less computat...
Aleksandar Lazarevic, Zoran Obradovic
VVS
1998
IEEE
141views Visualization» more  VVS 1998»
15 years 10 months ago
3D Scan Conversion of CSG Models into Distance Volumes
A distance volume is a volume dataset where the value stored at each voxel is the shortest distance to the surface of the object being represented by the volume. Distance volumes ...
David E. Breen, Sean Mauch, Ross T. Whitaker
EDOC
2009
IEEE
15 years 9 months ago
A Goal-Oriented Requirements Modelling Language for Enterprise Architecture
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is nee...
Dick A. C. Quartel, Wilco Engelsman, Henk Jonkers,...