Sciweavers

197 search results - page 26 / 40
» Structural Operational Semantics for Stochastic Process Calc...
Sort
View
114
Voted
KES
2007
Springer
15 years 3 months ago
Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods
This work deals with the application of kernel methods to structured relational settings such as semantic knowledge bases expressed in Description Logics. Our method integrates a n...
Nicola Fanizzi, Claudia d'Amato
93
Voted
FLAIRS
2007
14 years 12 months ago
Semantic Relations: Modelling Issues, Proposals and Possible Applications
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...
Francisco Álvarez, Antonio Vaquero, Fernand...
SEMWEB
2001
Springer
15 years 2 months ago
DAML-S: Semantic Markup for Web Services
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monit...
Anupriya Ankolekar, Mark H. Burstein, Jerry R. Hob...
72
Voted
DEXAW
1997
IEEE
99views Database» more  DEXAW 1997»
15 years 1 months ago
A Framework for Dynamic Changes in Workflow Management Systems
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
Manfred Reichert, Peter Dadam
UTP
2010
14 years 7 months ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel