Results 301 to 310 of about 176,906 (321)
Semantic Adaptation for Models of Computation [PDF]
2011 Eleventh International Conference on Application of Concurrency to System Design, 2011 In the context of Model Driven Engineering, models are the primary artifacts of the system development cycle. In order to manage the complexity of systems, models are decomposed into models of simpler subsystems. A major difficulty is to handle the heterogeneity of the different models of computation used for modeling the subsystems.
Boulanger, Frédéric +3 more
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
International Journal of Semantic Computing, 2010Semantics is the meaning of symbols, notations, concepts, functions, and behaviors, as well as their relations that can be deduced onto a set of predefined entities and/or known concepts. Semantic computing is an emerging computational methodology that models and implements computational structures and behaviors at semantic or knowledge level beyond ...
openaire +2 more sources
Inference and Computational Semantics
Journal of Logic, Language and Information, 2004In this paper we discuss inference in computational semantics. In particular, we argue that state-of-the-art methods in first-order theorem proving and model generation are of direct relevance to inference for natural language processing. This claim is based on our experience of implementing van der Sandt’s approach to presupposition, and much of the ...
Michael Kohlhase, Patrick Blackburn
openaire +2 more sources
2016 IEEE Second International Conference on Multimedia Big Data (BigMM), 2016
Semantic computing is an emerging research field that has drawn much attention from both academia and industry. It addresses the derivation and matching of semantics of computational "contents" where "contents" may be anything including text, multimedia, hardware, network, etc.
Ryo Fujita +2 more
openaire +2 more sources
Semantic computing is an emerging research field that has drawn much attention from both academia and industry. It addresses the derivation and matching of semantics of computational "contents" where "contents" may be anything including text, multimedia, hardware, network, etc.
Ryo Fujita +2 more
openaire +2 more sources
Semantic Computing for Education
International Journal of Semantic Computing, 2015There are challenges educators face in delivering the vast amount of teaching material to students. Using ontologies could solve some of these issues. We survey different types of ontologies available that could aid educators teach students. We discuss how ontologies may help improve the education system for K-12, higher education, curriculum creating,
Jennifer Jin, Mira Kim, Pete Rivett
openaire +2 more sources
Semantic Authoring and Semantic Computing
2007Semantic Computing is to design and operate information systems based on meaning and vocabulary shared by people and computers. It aims at closing the semantic gap, thus enabling closer cooperation between people and information systems, and thereby semantically enriching our life-world.
openaire +2 more sources
Cognition, semantics and computers
Poetics, 1990Abstract Models of cognition and language currently in use as frameworks for computer applications present a clear disequilibrium: they neglect productive mental activities, as for instance synthesis, and over-estimate receptive ones, as analysis. The paper focuses on the Kantian concept of object-synthesis as a basic mental mechanism and underlines ...
openaire +2 more sources
Computing the acceptability semantics
1995We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined as generalisations of corresponding proof theories and procedures for the stable theory and preferred extension semantics.
Antonis C. Kakas, Francesca Toni
openaire +2 more sources
Computational Semantics Requires Computation
2012This chapter argues, briefly, that much work in formal Computational Semantics (alias CompSem) is not computational at all, and does not attempt to be; there is some mis-description going on here on a large and long-term scale. The aim of this chapter is to show that such work is not just misdescribed, but loses value because of the scientific ...
openaire +2 more sources
Semantics and the Computational Metaphor
1986Publisher Summary The computational hypothesis, irrespective of any particular experimental outcomes, has been claimed to carry some rather specific implications for the semantics of natural language. The purpose of the chapter is to criticize that claim.
openaire +2 more sources