11740 search results - page 377 / 2348 » More Problems in Rewriting |
156
click to vote
JAR
2007
15 years 6 months ago
2007
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
192
click to vote
TSMC
2008
15 years 6 months ago
2008
Abstract--In this paper, a synchronization problem is investigated for an array of coupled complex discrete-time networks with the simultaneous presence of both the discrete and di...
147
click to vote
TWC
2008
15 years 6 months ago
2008
A method was proposed in this journal (vol. 6, no. 1, pp. 192-201, 2007), which tackles a power allocation problem for interleave-division multiple-access (IDMA) systems over fadin...
168
click to vote
AIL
2002
15 years 6 months ago
2002
: In this paper I recapitulate the ideas of Berman and Hafner (1993) regarding the role of teleology in legal argument. I show how these ideas can be used to address some issues ar...
158
click to vote
JSYML
2000
15 years 6 months ago
2000
We consider a finite universe U (more exactly - a family U of them), second order quantifiers QK , where for each U this means quantifying over a family of n(K)-place relations clo...