9145 search results - page 126 / 1829 » Description Logic Systems |
108
click to vote
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
147
click to vote
ESANN
1997
15 years 2 months ago
1997
Two recently developed methods for extraction of crisp logical rules from neural networks trained with backpropagation algorithm are compared. Both methods impose constraints on th...
122
Voted
OWLED
2008
15 years 2 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
124
Voted
REST
2010
ACM
15 years 2 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
128
click to vote
CSREAESA
2003
15 years 2 months ago
2003
Most so-called “adiabatic” digital logic circuit families reported in the low-power design literature are actually not truly adiabatic, in that they do not satisfy the general...