3429 search results - page 430 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
121
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
135
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
136
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
133
click to vote
RIVF
2007
15 years 5 months ago
2007
This paper illustrates the use of acoustic modeling of spoken dialog systems. One major problem with using speech three different structures, including syllables, fillers and recog...
122
click to vote
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
The Resource Description Framework (RDF) is a metadata model and language recommended by the W3C. This paper presents a framework to incorporate temporal reasoning into RDF, yieldi...