1445 search results - page 181 / 289 » Uniformly Hard Languages |
122
click to vote
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
Nowadays interactive electronics products offer a huge functionality to prospective customers, but often it is too huge and complex to be grasped and used successfully. In this ca...
148
click to vote
IESA
2007
15 years 5 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
151
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...
138
click to vote
OWLED
2008
15 years 5 months ago
2008
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
148
click to vote
SEMWIKI
2008
15 years 5 months ago
2008
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...