5170 search results - page 651 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
230
click to vote
SAC
2010
ACM
16 years 13 days ago
2010
ACM
Mistral is an open source software for biometrics applications. This software, based on the well-known UBM/GMM approach includes also the latest speaker recognition developments s...
350
click to vote
ICDE
2002
IEEE
16 years 9 months ago
2002
IEEE
With the growth of the Web, there has been a rapid increase in the number of users who need to access online databases without having a detailed knowledge of the schema or of quer...
225
click to vote
ICSE
1999
IEEE-ACM
15 years 12 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 ...
233
click to vote
FLAIRS
2008
15 years 10 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
154
click to vote
LREC
2008
15 years 9 months ago
2008
We have obtained the valuable findings about the developmental processes of demonstrative expression skills, which is concerned with the fundamental commonsense of human knowledge...