4286 search results - page 88 / 858 » Formalizing Service Interactions |
CORR
2010
Springer
15 years 3 months ago
2010
Springer
118
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
162
click to vote
IJCAI
2007
15 years 7 months ago
2007
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...