... Keywords: program analysis, abstract interpretation, symbolic execution, program veri - cation, compilers, debugging, operational semantics, ...

: � knowledge structure, classes, symbolization (abstraction, recurrence reaction); � construction structure of construction/ knowledge); � symbolization universal abstract types (semantics of construction/ knowledge, The Netherlands S.D.Cotofana@dutepp0.et.tudelft.nl ...

Visualization of human anatomy in a 3D atlas requires both spatial and more abstract symbolic knowledge. Within our "intelligent volume" model which integrates these two levels, we developed and implemented a semantic network model for describing human anatomy. Concepts for structuring (abstraction levels, domains, ...

... Keywords: Symbolic Information Fusion, Semantic Nets, Data Analysis, Text Mining, Text Understanding, Automatic Classification. ...

... SYNTAX), (*DIGITAL COMPUTERS, PROGRAMMING LANGUAGES), SYSTEMS ENGINEERING, SYMBOLS, SEMANTICS, STANDARDIZATION. ...

... Keywords: Semantics, Composable Simulations, Interoperability, Abstraction, Validation, Requirements Definition ABSTRACT ...

Abstract. Vortex is a workflow language to support decision making activities. It centers around gathering and computing attributes of input objects. The semantics of Vortex is declarative, and the dependency graphs of Vortex programs are acyclic. This paper discusses the application of symbolic model checking techniques to ...

The utilization of symbols such as words and numbers as mental tools endows humans with unrivalled cognitive flexibility. In the number domain, a fundamental first step for the acquisition of numerical symbols is the semantic association of signs with cardinalities. We explored the primitives of such a semantic ...

Semantics is the essence of human communication. It concerns the manufacture and use of symbols as representations to exchange meanings. Information technology is faced with the problem of using intelligent machines as intermediaries for interpersonal com...

Keywords: Linear Temporal Logic (LTL). Symbolic Model Checking (SMC). Verification ...... These realizations lead us to the following set of semantic ...

of Nijmegen Abstract We use filters of open sets to provide a semantics justifying formally the use an ultrafilter. Also this filter contains arbitrary sets instead of only open sets (as is the case. Denote the open sets of X by O(X). A filter on X is a set A O(X) that satisfies: U A. V O(X). U V V

of Nijmegen Abstract We use filters of open sets to provide a semantics justifying the use of infinity called an ultrafilter. Also this filter contains arbitrary sets instead of only open sets (as is the case. Denote the open sets of X by O(X). A filter on X is a set A O(X) that satisfies: U A. V O(X). U V V

by an algebraic theory in many ways. There is a canonical one which takes all terms as operation symbols. We to integrate our algebraic interpretation of Self with other aspects of the semantics given in [1]. ReferencesAlgebras over variable theories D. B. Benson, M. Necesal and J. Rosicky # Abstract We will show

The use of linguistic model in spatial information has been an important topic discussed in relevant theoretical domain in recent years. On the basis of analyzing the geometrical composition of large-scale topographic map symbols and the geometric and semantic relationships among symbols, system of topographic map ...

Two studies approached the problem of describing judgmental processes from the standpoint of individual differences in terms of basic traits. Based upon Guilford's structure-of-intellect model, the factors of symbolic and semantic evaluation were hypothes...

PATH_SYMBOLS keywords to specify the directory where the kernels are located. ...... SPY: can do a variety of structure and semantic checks. ...

... Issuances (current and cancelled), Joint Staff and ... abilities in the SI model differ ... DATA STORAGE SYSTEMS, PICTURES, SYMBOLS, SEMANTICS. ...

... Syntax, then, is concerned with a system of formal rules; semantics adds content to the symbolism; and pragmatics introduces the human element. ...

... Level one is an answer to the question whether to ... could be segregated based on the information used; symbolic, semantic, or visual, for example. ...

Meaningful and meaningless hand postures were presented to subjects who had to carry out a semantic discrimination task while electrical brain responses were recorded. Both meaningful and control sets of hand postures were matched as closely as possible. The ERPs elicited by meaningless hand postures showed an anteriorly distributed N300 and a centro-posteriorly distributed ...

Abstract: An original approach to modelling internal structure of artificial cognitive agents and the phenomenon of language grounding is presented. The accepted model for the internal cognitive space reflects basic structural properties of human cognition and assumes the partition of cognitive phenomena into conscious and 'non-conscious'. The language is treated as a set of ...

THE SYMBOL FONT DBNSYMB DROR BAR-NATAN Abstract. This is the user manual for the symbol font dbnsymb. This document is available 2 4. The symbol table * * 2 5

Vision is a part of information system that converts visual information into knowledge structures. These structures drive the vision process, resolving ambiguity and uncertainty via feedback, and provide image understanding, which is an interpretation of visual information in terms of these knowledge models. It is hard to split the entire system apart, and vision mechanisms cannot be completely ...

The paper shows the equivalence of two semantics for a version of Concurrent Prolog with non-flat guards: an operational semantics based on a transition system and a denotational semantics which is a metric semantics (the domains are metric spaces. It doe...

According to embodied theories, the symbols used by language are meaningful because they are grounded in perception, action, and emotion. In contrast, according to abstract symbol theories, meaning arises from the syntactic combination of abstract, amodal symbols. If language is grounded in ...

We introduce Symbolic Timed Automata, an amalgamation of symbolic transition systems and timed automata, which allows to express nondeterministic data-dependent control flow with inputs and outputs and real-time behaviour. In particular, input data can influence the timing behaviour. We define two semantics for STA, a concrete one as ...

This study investigated the development of nonvocal teaching of reading and writing in severely retarded children. Fourteen subjects were selected who demonstrated limited communication skills, and were randomly placed into two groups. Group A received training procedures utilizing abstract plastic symbols which were arbitrarily assigned to represent ...

... Abstract. We show that the Semantic Web needs a formal semantics for the var- ious kinds of links between ontologies and other documents. ...

The extension of timed formalisms to a hybrid setting with urgency, has been carried out in a rather straightforward manner, seemingly without difficulty. However, in this paper, we show that the combination of urgency with abstraction from continuous variables leads to undesired behavior. Abstraction from continuous variables ultimately leads to a timed ...

... handle such examples. Keywords: Languages, Semantics, Logic, Correctness, Block structure, Stack discipline, Functors. ...

... Title : Semantics of Types for Database Objects. ... Abstract : A number of data models for complex database objects have been proposed. ...

... symbols. Let C be a binary relation on A and let I be a symbol in A such that ... states Let U = {x, y, z,... } be a universe of variables. ...

... Abstract : Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including security ...

... Abstract : This paper describes the Multilisp Architecture for Symbolic Applications (MASA), which is a multithreaded processor architecture for ...

of the Semantic Web. Keywords: Semantic Web gateway, Semantic Web search engine, ontol- ogy discovery. 1WATSON: A Gateway for the Semantic Web Mathieu d'Aquin, Marta Sabou, Martin Dzbor, Claudio.angeletou, e.motta}@open.ac.uk Abstract. As the Semantic Web is gaining ...

The model needs to be read with reference to the definitions in the semantic ... Element in a hierarchy. The aggregation symbol has a small C in it to show ..... State based behavior emerged from automata theory and has matured into ...

... We discuss the key ideas of sKEA: blob semantics for glyphs to sidestep recognition for visual symbols, qualitative spatial reasoning to provide ...

... wrote (1) A new semantics for constructible falsity, presented at ASL Summer Meeting 96, appearing in the Bulletin of Symbolic Logic and submitted ...

language are defined in terms of their spelling (lexically) and their mf:aning. (semantics). The meanings are defined contextually, i.e., where the symbol ...

Intelligent MultiMedia (IntelliMedia) focusses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in terms of semantic representations.

Dysphasic subjects do not have complete linguistic abilities and only produce a weakly structured, topicalized language. They are offered artificial symbolic languages to help them communicate in a way more adapted to their linguistic abilities. After a structural analysis of a corpus of utterances from children with cerebral palsy, we define a semantic ...

Sound symbolism is the notion that the relation between word sounds and word meaning is not arbitrary for all words, but rather there is a subset of words in the world's languages for which sounds and their symbols have some degree of correspondence. This research investigates sound symbolism as a possible means of gaining ...

1 NEGATIVE SHAPE FEATURES FOR IMAGE DATABASES CONSISTING OF GEOGRAPHIC SYMBOLS AYA SOFFER Computer, Italy, May, 1997 Abstract A method for representing geographic symbols for storage and re� trieval in an image database is presented. Symbols are characterized by a collection of features that describe

Logicographic Symbols: A New Feature in Theorema Bruno Buchberger RISC (Research Institute for Symbolic Computation) A 4232 Schloss Hagenberg, Austria Buchberger@RISC.Uni�Linz.ac.at Abstract: Theorema, we explain the new Theorema language feature of logicographic symbols. This feature allows

Logicographic Symbols: A New Feature in Theorema Bruno Buchberger RISC (Research Institute for Symbolic Computation) A 4232 Schloss Hagenberg, Austria Buchberger@RISC.Uni-Linz.ac.at Abstract: Theorema, we explain the new Theorema language feature of logicographic symbols. This feature allows

Elsevier Science (USA). All rights reserved. Keywords: UMLS; Semantic Network; IS-A relationshipThe cohesive metaschema: a higher-level abstraction of the UMLS Semantic Network Yehoshua Perl of concepts, and the Semantic Network (SN), containing semantic types and forming an ...

Abstract. Recursive descent parsing is restricted to languages whose grammars are LL(1), i.e., which can be parsed top-down with a single lookahead symbol. Unfortunately, many languages such as Java, C++, or C # are not LL(1). Therefore recursive descent parsing cannot be used or the parser has to make its decisions based on semantic ...

Semantic Web � Interoperability, Usability, Applicability 0 (0) 1 1 IOS Press A Reasonable Semantic, The Netherlands Abstract. The realization of Semantic Web reasoning is cen- tral to substantiating the Semantic that reasoning for the Semantic Web should be understood as ...

Abstract. We present a generic symbolic analysis framework for imperative programming languages. Our framework is capable of computing all valid variable bindings of a program at given program points. This information is invaluable for domain-specific static program analyses such as memory leak detection, program parallelisation, and the detection of ...

Two approaches for integrating images into the framework of a database management system are presented. The classification approach preprocesses all images and attaches a semantic classification and an associated certainty factor to each object found in the image. The abstraction approach describes each object in the image by using a vector consisting of ...

with numerical values. In a study with capuchin monkeys (D'Amato & Colombo, 1990), the symbolic distance effect of the symbolic distance ef- fect. They trained capuchin monkeys with stimulus pairs drawn out of a sequenceNumerical Values Leave a Semantic Imprint on Associated Signs in Monkeys Ilka Diester and Andreas

Attempts to understand how information content can be included in an accounting of the energy flux of the biosphere have led to the conclusion that, in information transmission, one component, the semantic content, or "the meaning of the message," adds no thermodynamic burden over and above costs arising from coding, transmission and translation. In biology, ...

Abstract. As the Semantic Web is gaining momentum, more and more semantic data is available online. The second generation of Semantic Web applications already exploit this phenomenon by relying on this huge amount of semantic content. Looking at the requirements of these applications, we show ...

Traditionally, complex cultural symbols like brands are investigated with psychological approaches. Often this is done by using semantic differentials, in which participants are asked to rate a brand regarding different pairs of adjectives. Only recently, functional magnetic resonance imaging (fMRI) has been used to examine brands. In the current work we ...

�Publishing Relational Databases on the Semantic Web. 5th International Semantic Web Conference, 2006. [4] D. BrickleyInteractively using Semantic Web knowledge: Creating scalable abstractions with Facet of knowledge accessible on the Semantic Web is growing, and there is a need for a ...

creation, be it in art or in science. Erich Fromm Introduction Caricaturistic Visual Abstraction Semantic

... Pagination or Media Count : 233. Abstract : The report describes a model for the general structure of human long term memory. ...

... Abstract : The Algorithmic Theory of Language takes the view that ... by a tree structure and semantic context by the ''precedence string.'' The present ...

Traditionally, Artificial Intelligence (AI) relied strongly on models of representation and direct perception of the world. It was mostly concerned with functional semantics. The control of its robotic artifacts, for instance, was solely based on the high-level symbol-manipulation of agent-independent semantic categories. In this ...

Kohler (1929) reported anecdotally that, when asked to choose, subjects were much more likely to attach the name 'takete' to a spiky abstract object, and the name 'baluma' (or, by 1947, 'maluma') to a curvy abstract object. Follow-up work has suffered from the same three weaknesses as Kohler's original anecdotal study: a reliance on small number of stimuli ...

A computer-based artificial neural network (ANN) that learns to classify sentences in a text as important or unimportant is described. The program is designed to select the sentences that are important enough to be included in composition of an abstract of the text. The ANN is embedded in a conventional symbolic environment consisting of ...

Attempts to understand how information content can be included in an accounting of the energy flux of the biosphere have led to the conclusion that, in information transmission, one component, the semantic content, or �the meaning of the message,� adds no thermodynamic burden over and above costs arising from coding, transmission and translation. In biology, ...

of the difficulties in defining a symbolic semantics for the applied pi calculus that is both sound and complete. Both can be found at the ENTCS Macro Home Page. Symbolic bisimulation for the applied pi calculus labelled bisimulation relation for the finite applied pi calculus. By treating inputs symbolically, our

In this paper we define symbolic models for Single-Conclusion Logics of Proofs. We prove the soundness and completeness of these logics with respect to the corresponding classes of symbolic models. We apply the semantic methods developed in this paper to justify the use of terms of single-conclusion logic of proofs as notation for ...

. General models and extensionality. Journal of Symbolic Logic, 37:395� 397, 1972. [2] Peter B. Andrews. General models, descriptions, and choice in type theory. Journal of Symbolic Logic, 37:385�394, 1972. [3, and Michael Kohlhase. Higher-order semantics and extensionality. Journal of Symbolic Logic, ...

The embodied view of language comprehension proposes that the meaning of words is grounded in perception and action rather than represented in abstract amodal symbols. Support for embodied theories of language processing comes from behavioral studies showing that understanding a sentence about an action can modulate congruent and incongruent physical ...

... Abstract : Authors dealing with electromagnetism encounter difficulties of notation for quantities or dimensionless numbers related to this field, as ...

... Abstract : The goal of the Qlisp project at Stanford is to gain ... language on an actual multiprocessor, and by developing a symbolic algebra system as ...

Appreciate the power of mathematical abstraction and symbolism;. " Demonstrate technical facility with algebraic transformations, including techniques based ...

... Report Date : 2006. Pagination or Media Count : 14. Abstract : The so-called "Web of Trust" is one of the ultimate goals of the Semantic Web. ...

... Pagination or Media Count : 61. Abstract : A new functional semantics is proposed for synchronous circuits, as a basis for reasoning formally about ...

We adopt a style of semantics proposed by Mosses [8], ...... [8] Peter D. Mosses . Modularity in structural operational semantics. Extended abstract, ...

The Semantic Web for Earth and Environmental Terminology (SWEET) is a ... The ultimate vision of the semantic web is of web pages with XML-type tags around ...

... Abstract : We introduce global SLS-resolution, a procedural semantics for well-founded negation as defined by Van Gelder, Ross and Schlipf. ...

Abstract. In this short paper, we examine current Semantic Web application and we highlight what we see as a shift away from first generation Semantic Web applications, towards a new generation of applications, designed to exploit the large amounts of heterogeneous semantic markup, which are increasingly becoming ...

... is a mathematical model of the semantics of software module; in particular, a module defining an abstract data type. The theory of computation ...

The specification of real world systems is essential in developing application software and building Al expert systems. However, in formalizing intuitions about systems, omissions and confusions cause errors. Correctly describing the behavior of a system can be a formidable task. It is proposed that the semantic basis of representation languages lies in the mapping from ...

ANABEL (ANalysis of Acid-Base status by Evaluating Lisp) is a prototype medical intelligent decision-support system aiming to assist clinicians in an Intensive Care Unit environment with the interpretation of blood-gas measurements. Its architecture is based on the merging of representations for declarative (domain-descriptive) and procedural (problem-solving) medical knowledge. The system ...

Abstract. Computational linguistics is an application of computer science which presents interesting challenges from the programming methodology point of view. Developing a realistic platform for the treatment of a natural language in its phonological, morphological, syntactic, and ultimately semantic aspects demands a principled modular architecture with ...

On the Semantic Basis of Heraldic Propaganda or What do Arms Mean, and How? Antti Leino Abstract Despite the occasional claim to the contrary, it is clear that a coat of arms often has some semantic content beyond just identifying its bearer. In this respect arms are very much like proper names

Number: ECSTR-IAM07-006 c University of Southampton Abstract Technological advancements in the past and the application of reasoning mechanisms to support discovery and matching. In this document, we present a semantic content of the service request and advertisements. This is the research problem addressed in semantic

Abstract Interpretation Based Static Analysis Parameterized by Semantics (abstract) Patrick Cousot Ecole normale superieure, DMI, 45 rue d://www.dmi.ens.fr/"cousot Abstract.We review how the dependence upon semantics has been taken into account in abstract

Realistic symbolism.- Display A-2 (fig. 9) is one in which the slope and course ..... related to the form of symbolism (abstract or realistic) and to the ...

novel Semantic Web applications built thanks to Watson are briefly presented. KEYWORDS Semantic WebWATSON: SUPPORTING NEXT GENERATION SEMANTIC WEB APPLICATIONS1 Mathieu d'Aquin, Claudio Baldassarre University Walton Hall, Milton Keynes, UK ABSTRACT Watson is a gateway to the Semantic Web: it ...

Abstract. Semantic Web Mining aims at combining the two fast-developing research areas Semantic Web and Web Mining. The idea is to improve, on the one hand, the results of Web Mining by exploiting the new semantic structures in the Web; and to make use of Web Mining, on the other hand, for building up the ...

Despite much recent interest in the clinical neuroscience of music processing, the cognitive organization of music as a domain of non-verbal knowledge has been little studied. Here we addressed this issue systematically in two expert musicians with clinical diagnoses of semantic dementia and Alzheimer�s disease, in comparison with a control group of healthy expert musicians. ...

Abstract: Most approaches to formal semantics are based on the assumption that all the constructs of a language are defined together. The details of the definition of each construct can (and usually do) depend on which other constructs are included in the given language. This limits reuse of definitions of common constructs. programming construct is ...

In this study, we investigate whether multiple digits can be processed at a semantic level without awareness, either serially or in parallel. In two experiments, we presented participants with two successive sets of four simultaneous Arabic digits. The first set was masked and served as a subliminal prime for the second, visible target set. According to the instructions, ...

In this study, we investigate whether multiple digits can be processed at a semantic level without awareness, either serially or in parallel. In two experiments, we presented participants with two successive sets of four simultaneous Arabic digits. The first set was masked and served as a subliminal prime for the second, visible target set. According to the instructions, ...

Symbolic Abstract Domains 3 / 3 Laurent Mauborgne �cole Normale Sup�rieure Interpr�tation abstraite, MPRI 2�6, ann�e 2007-2008 Laurent Mauborgne (ENS) Symbolic Abstract Domains MPRI 2�6, ann�e 2007-2008 1 / 96 #12;Lesson Plan Thirs Session Finite Sets of Symbols Graphs and ...

Derived equivalence relations, it has been argued, provide a behavioral model of semantic or symbolic meaning in natural language, and thus equivalence relations should possess properties that are typically associated with semantic relations. The present study sought to test this basic postulate using semantic ...

It is well-known that the crossover operator plays an important role in Genetic Programming (GP). In Standard Crossover (SC), semantics are not used to guide the selection of the crossover points, which are generated randomly. This lack of semantic information is the main cause of destructive effects from SC (e.g., children having lower fitness than their ...

Abstract Symbolic Model Checking extends the scope of verification algorithms that can be handled automatically, by using symbolic representations rather than explicitly searching the entire state space of the model. However even the most sophisticated sy...

THE SYMBOL FONT DBNSYMB DROR BAR�NATAN Abstract. This is the user manual for the symbol font/#drorbn/projects/dbnsymb/. Contents 1. Introduction 1 2. Usage 1 3. Example 2 4. The symbol table 2 5. Modifying dbnsymb 5 6. Acknowledgement 5 7. Revision History 5 1. Introduction Over the last few years I occasionaly ...

We report a series of experiments investigating the reading abilities of a patient R.O.M. who exhibited the syndrome of deep-phonological dyslexia. In a series of semantic priming tasks, R.O.M. was requested to read word lists containing either abstract or concrete words, which were related by semantic similarity or ...

We introduce two abstraction mechanisms by which the process of semantic interpretation of medical narratives can be simplified and further optimized. One relates to generalized triggering conditions, the other to inheritance-based specifications of semantic rules. The proposed methodology leads to a parsimonious inventory of ...

This paper presents experimental results on the performance effect of using symbolic simulation with SAT-based reparametrization within the Counter-example Guided Abstraction Refinement framework. Abstraction refinement has been applied successfully to pr...

The vision system evolved not only as a recognition system, but also as a sensory system for reaching, grasping and other motion activities. In advanced creatures, it became a component of prediction function, allowing creation of environmental models and activity planning. Fast information processing and decision making is vital for any living creature, and requires reduction of informational and ...

Semantic tableaux generator for propositional and predicate logic. The user enters a formula of propositional or predicate logic (without identity). Use LaTeX commands or the buttons on top of the text field to insert logical symbols.

The goal of program analysis is to determine automatically properties of the run-time behavior of a program. Tools of software development such as compilers program verification systems and program-comprehension systems are in large part based on program ...

One of the outstanding problems of cognitive science is that of understanding how experience assigns meaning to events. How does one set of stimulus attributes become symbolic of another set of stimulus attributes. This is the question of semantics. Neuro...

A lecture delivered at Sandia Corp., Albuquerque, N. Mex., June 18, 1958. A discussion of information exchange theory is presented. Semantics in communications are examined, and the use of symbols in thinking and presentaion are discussed in some detail. (J.R.D.)

People have to deal with an impressive continuum of representations, from fully numeric and structured to totally textual and unstructured. Solving this situation of heterogeneity is a prerequisite to information fusion processes and algorithms. However, ...

The purpose was to study changes in symbolic behavior associated with brain injury and to derive a model of the way language, particularly metaphorical speech serves as a mode of adaptation to stress. Phonetic-semantic and socially organized patterning me...

Semantic processing provides the potential for producing high quality results in natural language processing (NLP) applications in the biomedical domain. In this paper, we address a specific semantic phenomenon, the hypernymic proposition, and concentrate on integrating the interpretation of such predications into a more general ...

Abstract. The Semantic Web community could benefit greatly from �eating its own dog food � in order to better understand the challenges and opportunities of a Semantic Web from the user perspective. In this paper we describe the deployment of Semantic Web applications and services at the 3rd European ...

A data abstraction is a collection of sets together with a collection of operations. Methods exist for specifying and for implementing data abstractions. The central question for any particular example is whether the semantics of each of these two methods...

In order to define the semantics of diagram languages, new techniques may be developed following the established approaches of denotational, operational, or algebraic semantics of programming languages. Due to the multi-dimensional nature of diagrams (as opposed to the linear structure of programs), these new approaches should be based on graphs ...

Abstract In his work on the information content of English text in 1951, Shannon described a method of recoding the input text, a technique which has apparently lain dormant for the ensuing 45 years. Whereas traditional compressors exploit symbol frequencies and symbol contexts, Shannon�s method adds the concept of ...

are the terminals used in the BNF parsing phase. Flex is the "fast lexical scanner" and bison is the parser we and symbols RIT Computer Science Dept. Bison A parser that parses BNF It may be used to do semantic analysis tree and semantic analysis would be separate. RIT Computer Science Dept. A Simple Bison Example

and Bernhard Nebel Albert-Ludwigs-Universit�at Freiburg Institut f�ur Informatik Georges-K�ohler-Allee 52 79110 an object, it quickly falls into place that a purely symbolic representation is insufficient for the task, M.; and Nebel, B. 2009. Semantic attachments for domain-independent planning systems. In Proc. ICAPS

Web Service technologies such as SOAP, WSDL, and UDDI provide the infrastructure for extensive interoperability while emerging Semantic Web technologies ...

... Abstract : The details of the collection of a 33-hour corpus of French psycholinguistic data are given, including a methodological analysis of the ...

... machine called AM. Additional keywords: Algebraic semantics; Software portability problem; high level languages. (Author). ...

... Abstract : This contract concerns the development of semantic web infrastructure and tools through the DARPA Agent Markup Language (DAML ...

... Abstract : The methods of classical denotational semantics provide a number of valuable tools to designers of sequential Algol-like programming ...

... Abstract : KR is a very efficient semantic network knowledge representation language implemented in Common Lisp. It ...

of Archaeology, Commission for General and Comparative Archaeology (KAVA) in Bonn (Germany) as a part

which is enclosed between the keywords PLAN and END . ..... However, the semantic implications of either one of these alternatives ...

... Abstract Quantitative analysis of literary style has heretofore utilized semantic elements-word counts. This research attempts ...

... Page 2. Keywords: Denotational semantics, fairness, communicating processes, traces, concur- rency, full abstraction. Page 3. ...

The study of complex systems should be based on a systems-theoretic framework which requires both self-organizing and symbolic dimensions. An inclusive framework based on the notion of semiotics is advanced to build models capable of representing, as well as evolving in their environments, with implications for Artificial Life. Such undertaking is pursued by discussing the ...

Recent research has demonstrated that patients with Alzheimer's disease (AD) show deficits in semantic processing when compared to cognitively healthy individuals. This difference is thought to be attributed to losses in higher cortical systems that are predominantly associated with executive functioning. The first aim of the study will be to determine if differences in ...

We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is translated into a specific background theory for a satisfiability modulo theories (SMT) solver as a set of equational axioms. Symbolic evaluation of a goal formula together with the ...

SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-specific structural semantic markup language OMDoc. It motivates users to contribute to collections of mathematical knowledge by instantly sharing the benefits of knowledge-powered services with them. SWiM is currently being used for ...

We introduce a general method to infer the directional information flow between populations whose elements are described by n-dimensional vectors of symbolic attributes. The method is based on the Jensen-Shannon divergence and on the Shannon entropy and has a wide range of application. We show here the results of two applications: first we extract the network of genetic flow ...

We introduce a general method to infer the directional information flow between populations whose elements are described by n-dimensional vectors of symbolic attributes. The method is based on the Jensen-Shannon divergence and on the Shannon entropy and has a wide range of application. We show here the results of two applications: first we extract the network of genetic flow ...

Web Service Discovery via Semantic Association Ranking and Hyperclique Pattern Discovery Aabhas V.bornhoevd@sap.com Abstract Semantic Web technology is a promising first step for automated web service discovery. Most current approaches for web service discovery cater to semantic web services, i.e., web services ...

-01) and Arcadia (TIC2002-1948); by the European Commission under the projects DIP, Knowledge Web, Ontoweb, SEKTThe Semantic Web Services Tetrahedron: Achieving Integration with Semantic Web Services 1 Juan.acuna@urjc.es Abstract. Web Engineering is going through several major changes. New promising application fields related

on the basis of the semantic foundation are described. Keywords: Semantic Web, Requirements Engineering}@informatik.uni-leipzig.de) Abstract: This paper presents an integrated approach of basing requirements engineering on semantic, Distributed Software Development, Ontology-Driven, User-Oriented, Wiki, ...

Semantic Science: machine understandable scientific theories and data David Poole http://www.cs.ubc.ca/spider/poole/ October 13, 2007 Abstract The aim of semantic science is to have scientific data and scientific theories in machine understandable form. Scientific theories make predic- tions on data. In the ...

Abstract. In this paper we provide a set of hypotheses about possible interactions between the raising paradigm of the Semantic Web and NLP technologies. We show that there is some role to be played by NLP both on the ground of creation and maintenance of the Semantic Web and on the one of its access by humans. We also provide the ...

. [7] Pan, Z. and Heflin, J. DLDB: Extending Relational Databases to Support Semantic Web QueriesChoosing the Best Knowledge Base System for Large Semantic Web Applications Yuanbo Guo Lehigh@cse.lehigh.edu ABSTRACT We present an evaluation of four knowledge base systems with respect to use in large Semantic Web

's relationship configuration. Keywords: Lexical Partition, Metaschema, String Matching, UMLS, Semantic Network 1A Lexical Metaschema for the UMLS Semantic Network Li Zhang, Yehoshua Perl, Michael Halper2 , James-level abstraction network of the UMLS's Semantic Network (SN) obtained from a partition of the SN's ...

This paper discusses the features of an annotation language that we believe to be essential for optimizing user-defined abstractions. These features should capture semantics of function, data, and object-oriented abstractions, express abstraction equivalence (e.g., a class represents an array ...

Abstract interpretation provides a practical approach to verifying properties of infinite-state systems. We apply the framework of abstract interpretation to derive an abstract semantic function for the modal ?-calculus, which is the basis for abstract model checking. The ...

... Abstract : Women are potent symbols of identity. ... have yielded a number of different interpretations of what it means to be a feminist and if this title is ...

Abstract: Mathematica is an advanced software system that enables symbolic ... model visualization and professional documentation in a unified framework. ...

... ABSTRACT (Maximum 200 words) ... Clear machine breakpoint on a procedure Read in program ... the Maygen prototype uses, are identical to those ...

... Abstract : It is urged that public administrators become familiar with formulating problems in the explicit symbolism of models, striving to make goals ...

... Pagination or Media Count : 48. Abstract : The Logic Theory Machine is a program that discovers proofs for theorems in elementary symbolic logic. ...

... Abstract : A study of 45 cases of denial of hemiplegia and/or neglect of the affected limbs indicated an alteration of perceptual-symbolic function, in ...

... Abstract : Recent research into digital computer programs for discovering proofs to theorems in symbolic logic and playing chess has shown the ...

DISLEX is an artificial neural network model of the mental lexicon. It was built to test computationally whether the lexicon could consist of separate feature maps for the different lexical modalities and the lexical semantics, connected with ordered pathways. In the model, the orthographic, phonological, and semantic feature maps and the associations ...

This paper describes an interactive system for the semantic annotation of brain magnetic resonance images. The system uses both a numerical atlas and symbolic knowledge of brain anatomical structures depicted using the Semantic Web standards. This knowledge is combined with graphical data, automatically extracted from the images by ...

Abstract. We present a technique for doing symbolic simulation of microprocessor models in the functional programming language Haskell. We use polymorphism and the type class system, a unique feature of Haskell, to write models that work over both concrete and symbolic data. We offer this approach as an alternative to using ...

The neurocognitive processing of environmental sounds and linguistic stimuli shares common semantic resources and can lead to the activation of motor programs for the generation of the passively heard sound or speech. We investigated the extent to which the cognition of environmental sounds, like that of language, relies on symbolic mental representations ...

The neurocognitive processing of environmental sounds and linguistic stimuli shares common semantic resources and can lead to the activation of motor programs for the generation of the passively heard sound or speech. We investigated the extent to which the cognition of environmental sounds, like that of language, relies on symbolic mental representations ...

Patients with �refractory semantic access deficits� demonstrate several unique features that make them important sources of insight into the organization of semantic representations. Here we attempt to replicate several novel findings from single-case studies reported in the literature. Patient UM� 103 displays the cardinal features of a ...

Course website with syllabus, lecture notes, assignments and reference material. This course is an introduction to modern programming languages. The course teaches students how to evaluate languages based on pragmatic considerations, such as ease of expressibility and implementation, and theoretical considerations using operational, denotational, and axiomatic semantics. It ...

980624 Symbolic Time-Series Analysis of Engine Combustion Measurements C.E.A. Finney University Engineers, Inc. ABSTRACT We present techniques of symbolic time-series analysis which are useful release. Symbolization of engine combustion measurements pro- vides a simple, yet effective way

Symbolic Simulation of Microprocessor Models using Type Classes in Haskell Nancy A. Day, Je#11;rey R@cse.ogi.edu Abstract. We present a technique for doing symbolic simulation of mi- croprocessor models in the functional, to write models that work over both concrete and symbolic data. We o#11;er this approach as an ...

Symbolic Model Checking without BDDs Armin Biere 1 Alessandro Cimatti 2 Edmund Clarke 1 Yunshan Zhu verification, temporal logic, symbolic model checking, boolean satisfiability #12; Abstract Symbolic Model introduce a bounded model check� ing procedure for LTL which reduces model checking to propositional

Generalizing Symbolic Execution to Library Classes Sarfraz Khurshid and Yuk Lai Suen Dept 78712 {khurshid, suen}@ece.utexas.edu ABSTRACT Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications

DIRECT SYMBOLIC ANALYSIS OF LARGE ANALOG NETWORKS Janusz A. Starzyk and Jun Zou School@bobcat.ent.ohiou.edu ABSTRACT A new symbolic analysis approach for large analog integrated circuits is presented in this paper. It is based on the Coates graph representation and nodes exploding technique for construction of ...

The Intelligent Voice Prosthesis is a communication tool which reconstructs the meaning of an ill-structured sequence of icons or symbols, and expresses this meaning into sentences of a Natural Language (French). It has been developed for the use of people who cannot express themselves orally in natural language, and further, who are not able to comply to grammatical rules ...

This report describes work carried out under a Sandia National Laboratories Excellence in Engineering Fellowship in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. Our research group (at UIUC) is developing a intelligent robot, and attempting to teach it language. While there are many aspects of this research, for the purposes of this report ...

We present a new and general approach of defining semantics for disjunctive logic programs. Our framework consists of two parts: (1) a semantical , where semantics are defined in an abstract way as the weakest semantics satisfying certain properties, and (2) a procedural, namely a bottom-up ...

The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such named graphs. This enables RDF statements that describe graphs, which is beneficial in many Semantic Web application areas. Named graphs are given an abstract syntax, a formal ...

Abstract. One of the main drawbacks of the Semantic Web is the lack of semantically rich data, since most of the information is still stored in relational databases. In this paper, we present an approach to map legacy data stored in relational databases into the Semantic Web using virtually any modern RDF query ...

Abstract. We propose a Semantic Web browser which enables users to discover, select and personalize Web services in the Semantic Web. We discuss how such a Semantic Web browser can offer domain specific visualization, and investigate solutions for supporting individual users in finding appropriate Web services, in ...

The Unified Medical Language System (UMLS) joins together a group of established medical terminologies in a unified knowledge representation framework. Two major resources of the UMLS are its Metathesaurus, containing a large number of concepts, and the Semantic Network (SN), containing semantic types and forming an abstraction of the ...

The authors approach in developing parallel traces is by trace transformation. A transformation takes a sequential trace and transforms it into a parallel trace. Trace transformation must preserve the semantics of executions but may alter their execution time. In order to reason about the properties of a programming language precisely, a formal semantics ...

Previous reports have demonstrated that many aspects of number knowledge remain unimpaired in semantic dementia, despite severe comprehension problems in other domains. It is argued that this advantage for numbers arises because the disease spares the parietal lobe magnitude system thought to be critical for number processing. Models of numerical cognition that favour a ...

A Framework for Combining Algebraic and Logical Abstract Interpretations Patrick Cousot ENS, INRIA Abstract We introduce a reduced product combining algebraic and logical abstractions to design program] which are based on algebraic abstractions of the machine semantics do not have such ...

Three experiments investigated facilitation in synonym decisions as a function of prior synonym decision trials that were either identical or semantically related. Experiment 1 demonstrated that semantically related prime trials produced less facilitation than identical prime trials, but facilitation from both persisted over 14 intervening trials. ...

Abstract: ConTag is an approach to generate semantic tag recommendations for documents based on Semantic Web ontologies and Web 2.0 services. We designed and implemented a process to normalize documents to RDF format, extract document topics using Web 2.0 services and finally match extracted topics to a Semantic ...

Abstract. Semantic Web languages are being used to represent, encode and exchange semantic data in many contexts beyond the Web � in databases, multiagent systems, mobile computing, and ad hoc networking environments. The core paradigm, however, remains what we call the Web aspect of the Semantic Web � its use ...

There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This paper describes the "symbol grounding problem": How can the semantic interpretation of a formal symbol system be made intrinsic to the ...

Abstract. We provide new perspectives on the semantics of logic programs with constraints. To this end we introduce several notions of computation and propose to use the results of computations as answer sets of programs with constraints. We discuss the rationale behind different classes of computations and study the relationships among them and among the ...

Discussion of image database systems focuses on semantic queries and shows how an image is abstracted into a hierarchy of entity names and features; how relations are established between entities visible in the image; and how a "fuzzy" matching technique is used to compare semantic queries to image abstractions. ...

Define an inadvertent semantic error to be a spelling or typing error that turns an intended word into another word of the language. For example, the intended word "sight" might become the word "site." A spell checker cannot identify such an error. In the English language---the case of interest here---a syntax checker may also fail to catch such an error since the ...

The current study applies semantic differential to explore the semantic perception of emergency signs, in an attempt to analyze the meanings of emergency signs in regard to the psychological exigencies of the general public. The results indicate that problems concerning recognition accuracy have been observed, but also that the evaluation of the ...

The current study applies semantic differential to explore the semantic perception of emergency signs, in an attempt to analyze the meanings of emergency signs in regard to the psychological exigencies of the general public. The results indicate that problems concerning recognition accuracy have been observed, but also that the evaluation of the ...

... relationship between form, size and function of one semantic field (Tillandsia, Jwestes and monkeys) and the other ( ... parts (le-ch'u, la-jwinchu) or abstract semantic concepts that relate to the part's ...

Automatically generating presentations from content available on the World Wide Web, mainly through multimedia databases, is made possible with the advent of the Semantic Web and the increasing availability of multimedia repositories. The Semantic Web ena...

The authors define a semantics for the arithmetic part of PASCAL by giving it an interpretation in LCF, a language based on the typed lambda-calculus. Programs are represented in terms of their abstract syntax. The authors show sample proofs, using LCF, o...

Self-organized formation of topographic maps for abstract data, such as words, is demonstrated in the work. The semantic relationships in the data are reflected by their relative distances in the map. Two different simulations, both based on a neural netw...

. 14. Thomas Streicher. Correctness and Completeness of a Categorical Semantics of the Calculus these variants, which is crucial in establishing the correspondence between the semantics of the calculus and its�level operation, as in traditional �calculus, we should make them part of the object�level calculus

, Istanbul,Turkey ABSTRACT In online, dynamic environments, the services requested by con- sumers may learning techniques. We further develop a metric for measuring semantic similarity between services the service providers learn the relevant features of a service for a particular customer over time. We

A report to present semantic models for (possibly nondeterministic) dataflow in a uniform way is presented. Besides an operational model, models based on histories, streams, and traces, are given, and the results about full abstraction are collected. A me...

suggest an effective way to compose various invocation semantics. We completely separate the class the question of how to represent invocation abstractions in such a way that they can be composed in a flexible of the ``Dining Philosophers'' problem [6]. This problem is well suited to show the advantages of our framework

Cohesion, Semantics and Learning in Reflective Dialog Arthur WARD, John CONNELLY, Sandra KATZ Abstract. A corpus of reflective tutorial dialogs was tagged for cohesive relation- ships between student and tutor. We describe our tagging scheme, and show that certain cohesive features of tutoring dialog

) for a representation of generic sequent calculi, with an "abstract machine" flavor. Semantical investigations [Girard investigations [Girard's LC, Danos-Joinet-Schellinx LK pol, Laurent's LLP] clarified concepts around computation whose reduction rules correspond to the semantics of Girard's classical logic LC (1992). It is a term

constraints, for example that the actor of an action must be Human, and to learn the meanings of words and semantic constraints is important in that it allows for incremental inference of word meaning. As each. The semantic constraints that serve as the leverage for learning word meaning are attached to the action

The paper discusses the nature of two basic semantic distinctions--intensional/extensional, and mental/physical (mental/physical being similar to abstract/concrete but more explicit)--and how aan understanding of their interaction is an essential prelimin...

Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called �acceleration techniques � enhance the convergence of fixpoint computations by computing the transitive closure of some transitions. In this paper we develop a new framework for ...

This study empirically evaluated a classification schema based on symbolic communication level use with students with significant cognitive disabilities. Ninety-five teachers of students with significant disabilities rated students' level of performance on 10 academic tasks. Cluster analysis suggested a range of two to four clusters solutions. Support was found for three ...

Eight experiments investigated the effects of visual, spatial, auditory, and executive interference on the symbolic comparison of animal size and ferocity, semantic goodness of words, and numbers. Dynamic visual noise (DVN) and the reading of visually presented stimulus items were shown to selectively interfere with response times on the animal size ...

Gathering data on molecular interactions to be fed into a specialized database has motivated the development of a computer system to help extracting pertinent information from texts, relying on advanced linguistic tools, completed with object-oriented knowledge modeling capabilities. As a first step toward this challenging objective, a program for the identification of gene ...

Abstract. Mathematics has a rich tradition in creating symbols and notation that is soundly integrated into the syntax of the underlying formal language and, at the same time, conveys the intuition behind the concepts described by the symbols and notation. Continuing this idea, in the Theorema system, with the new feature of ...

Musical works form a key entity for music information retrieval. Explicit linkage of relationships among entities is critical for document-based information retrieval. Works contain representations of recorded knowledge. Core bodies of work--- canons---function to preserve and disseminate the parameters of a culture. A musical work is an intellectual sonic conception. Musical works take ...

Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But such systems rely on explicitly or implicitly represented mathematical knowledge that needs to be managed to use such systems effectively. While mathematical knowledge management (MKM) "in the small" is ...

This report comprises the abstracts and papers for the talks presented at the Workshop on Compilation of (Symbolic) Languages for Parallel Computers, held October 31--November 1, 1991, in San Diego. These unreferred contributions were provided by the part...

The research performed under this contract assessed whether fundamental symbolic operations-predication, conceptual combination, and the representation of abstract concepts-arise from the simulation of modality- specific states in the brain. Traditionally...

Recent criticisms of the place and function of "consciousness" in "cognitive science" are considered and rejected. Contrary to current orthodoxy subjective experience during abstract cognitive activity, especially when placed in its natural series with phenomenal accounts of so-called "altered states of consciousness," can provide unique and crucial evidence concerning just ...

Trace, Metric, and Reality: Notes on Abstract Linear Algebra Adam Co#man Department of Mathematical and proofs, using canonical maps from abstract linear algebra. Properties of contraction with respect� known in abstract linear algebra, but also appear in concrete matrix algebra and applications: see

Abstract. We develop a methodology for constructing semantics-based analyses of programs by approximating [19]. 3 Construction of Probabilistic Abstract Interpretations We discuss here a method for constructing probabilistic abstract interpretations, which represents a #12;rst step towards a more complete

... semantic Web services. Keywords: semantic Web services, semantic service oriented architecture, Semantic Annotations ...

Neuroscience has greatly improved our understanding of the brain basis of abstract lexical and semantic processes. The neuronal devices underlying words and concepts are distributed neuronal assemblies reaching into sensory and motor systems of the cortex and, at the cognitive level, information binding in such widely dispersed circuits is mirrored by the ...