3424 search results - page 232 / 685 » Automated Testing of Classes |
183
click to vote
DLOG
2008
15 years 9 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
185
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
204
click to vote
DEON
2010
Springer
15 years 7 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
201
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
The paper discusses three major issues. First, it discusses why it makes sense to approach problems in a hierarchical fashion. It de nes the class of hierarchically decomposable f...
182
click to vote
WCE
2007
15 years 8 months ago
2007
—A new method for minimization problem over simplex, as a generalization of a well-known in onedimensional optimization bisection method is proposed. The convergence of the metho...