Sciweavers

6016 search results - page 162 / 1204
» The semantics of graphical languages
Sort
View
ICCS
2010
Springer
15 years 7 months ago
Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks
We present a method for automatically creating large-scale semantic networks from natural language text, based on deep semantic analysis. We provide a robust and scalable implement...
Pia-Ramona Wojtinnek, Brian Harrington, Sebastian ...
IAT
2006
IEEE
16 years 17 days ago
Retaining Semantics in Relational Databases by Mapping them to RDF
Across various domains, the relational model for databases is employed extensively for the purpose of storing, managing and retrieving data. The translation, however, of data mode...
Madhav Krishna
POPL
1997
ACM
15 years 10 months ago
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
Hanne Riis Nielson, Flemming Nielson
ESOP
2008
Springer
15 years 8 months ago
A Hybrid Denotational Semantics for Hybrid Systems
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
Olivier Bouissou, Matthieu Martel
ATAL
2007
Springer
15 years 10 months ago
A grounded specification language for agent programs
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...