2741 search results - page 377 / 549 » Engineering Mathematical Knowledge |
149
click to vote
MATES
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The formalization and use of experiences in good model design would make an important contribution to increasing the efficiency of modeling as well as to supporting the k...
143
click to vote
RULEML
2009
Springer
15 years 11 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
110
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
A semantic application typically is a heterogenous system of interconnected components, most notably a reasoner. OWLlink is an implementation-neutral protocol for communication bet...
143
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
236
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
Semantic Analysis is a business analysis method designed to capture user requirements and represent them as text or in a graph that is called Ontology Chart. Ontology Charts can b...