3726 search results - page 175 / 746 » A structured definition of the modeling process |
199
click to vote
EMNLP
2009
15 years 4 months ago
2009
In this paper, we first compare several strategies to handle the newly proposed three-way Recognizing Textual Entailment (RTE) task. Then we define a new measurement for a pair of...
202
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Segmentation in volumetric images deals with separating `objects' from their `background' in a given 3D data. Usually, one starts with `edge detectors' that give bi...
186
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
A novel framework for spatially estimating unknown image data is presented. Common applications include inpainting, concealment of transmission errors, prediction in video coding,...
212
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
195
click to vote
JUCS
2007
15 years 7 months ago
2007
: Competence development programmes are collections of units of learning and learning activities used to increase the overall effective performance of a learner within a certain ta...