11973 search results - page 426 / 2395 » Methods for organizational development |
197
Voted
ERCIMDL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper gives an overview of tools and methods for CrossLanguage Information Retrieval (CLIR) that are developed within the Twenty-One project. The tools and methods a...
169
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a novel calibration method for datagloves with many degrees of freedom 1 . The goal of our method is to establish a mapping from the sensor values of the glove...
224
Voted
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
159
Voted
ESANN
2003
15 years 8 months ago
2003
Abstract. The purpose of this study is to develop subject categorization methods for educational resources using multilayer perceptron (MLP) and to examine the performance of the t...
175
click to vote
AAAI
2000
15 years 8 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...