747 search results - page 35 / 150 » An Alternative Representation for QBF |
140
Voted
IUI
2012
ACM
13 years 9 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
115
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
There are ontology domain concepts that can be represented according to multiple alternative classification criteria. Current ontology modeling guidelines do not explicitly conside...
118
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
This paper presents a continuation of the study on a mathematical morphology based on left-continuous conjunctive uninorms given in [1]. Experimental results are displayed using th...
128
click to vote
ICML
2006
IEEE
16 years 2 months ago
2006
IEEE
Probabilistic modelling of text data in the bagof-words representation has been dominated by directed graphical models such as pLSI, LDA, NMF, and discrete PCA. Recently, state of...
105
click to vote
IEAAIE
2005
Springer
15 years 7 months ago
2005
Springer
When using a constructive search algorithm, solutions to scheduling problems such as the job shop and open shop scheduling problems are typically represented as permutations of the...