38,679 Hits in 4.4 sec

Computability and Complexity Results for a Spatial Assertion Language for Data Structures [chapter]

Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn
2001 Lecture Notes in Computer Science  
In this paper we study computability and complexity properties of a subset of the language, which allows statements about the shape of pointer structures (such as "there is a link from x to y") to be made  ...  Reynolds, Ishtiaq and O'Hearn have recently developed an approach to reasoning about mutable data structures using an assertion language with spatial conjunction and implication connectives.  ...  Introduction Reynolds, Ishtiaq and O'Hearn have recently developed an approach to reasoning about mutable data structures using an assertion language with spatial connectives [6, 4] .  ... 
doi:10.1007/3-540-45294-x_10 fatcat:36nhk7uvmrhrfgervcpruayc3e

Topological properties in ontology-based applications

M. A. Serrano, J. Gomez-Romero, M. A. Patricio, J. Garcia, J. M. Molina
2011 2011 11th International Conference on Intelligent Systems Design and Applications  
ACKNOWLEDGMENT This work was supported in part by Projects CICYT TIN2008-06742-C02-02/TSI, CICYT TEC2008-06732-C02-02/TEC,CAM CONTEXTS (S2009/ TIC-1485) and DPS2008-07029-C02-02.  ...  Data structure implementation and performance results of the approach are also pending for future research, as well as the applicability of the current implementation to more complex scene recognition  ...  model and an auxiliary data structure; and a RCC implementation which stores the qualitative spatial relationships.  ... 
doi:10.1109/isda.2011.6121844 dblp:conf/isda/SerranoGPGM11 fatcat:qkqtgemfrzcrznarhhrrbw3klu

The KBMS Project and Beyond [chapter]

Vinay K. Chaudhri, Igor Jurisica, Manolis Koubarakis, Dimitris Plexousakis, Thodoros Topaloglou
2009 Lecture Notes in Computer Science  
Assertional Knowledge: Telos provides an assertion language for the expression of deductive rules and integrity constraints. The assertion language is a first-order language with equality.  ...  The knowledge representation language Telos provided a framework for the project.  ...  The PERK system supports only structural knowledge, and has no support for assertional, temporal or spatial knowledge.  ... 
doi:10.1007/978-3-642-02463-4_24 fatcat:6wrere4quvgcdafnpoh5c7broy

As we should have thought

Peter J. Nürnberg, John J. Leggett, Erich R. Schneider
1997 Proceedings of the eighth ACM conference on Hypertext - HYPERTEXT '97  
In this paper, we argue for the recognition of such a generalization, called structural computing, in which we assert the primacy of structure over data.  ...  We argue that support for structural computing must come in the form of new models, operating systems, and programming languages.  ...  We propose the term "structure processor" for generalized link service (figure 1e) and assert that open structure processors implement in a natural way structural computing.  ... 
doi:10.1145/267437.267448 dblp:conf/ht/NurnbergLS97 fatcat:g5auvxleojgfrbyb2llzjnia7m

A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices [article]

Cezara Dragoi, Gheorghe Stefanescu
2008 arXiv   pre-print
In the same vain, AGAPIA v0.1, a structured programming language for rv-systems, is the space-time dual closure of classical while programs (over a specific type of data).  ...  Interactive systems with registers and voices (shortly, "rv-systems") are a model for interactive computing obtained closing register machines with respect to a space-time duality transformation ("voices  ...  To develop and verify structured rv-programs for concrete computation tasks we need at least a couple of basic data types.  ... 
arXiv:0810.3332v1 fatcat:yj5rz27dond55pfjzbntydkga4

Challenges in Using Semantic Knowledge for 3D Object Classification

Corina Gurau, Andreas Nüchter
2013 Deutsche Jahrestagung für Künstliche Intelligenz  
Visual information is the primary data source used to make predictions and inferences about the world.  ...  We use the Semantic Web framework to represent knowledge and make inferences about sensor data, in order to detect and classify objects in the environment.  ...  For answering queries over the computed spatial data, we implement a reasoner in Semantic Web Rule Language (SWRL) and run it under the platform of Protégé, an ontology editor and knowledge-base framework  ... 
dblp:conf/ki/GurauN13 fatcat:z7g5uwu7z5gkrdrbiklunknjke

HPC and Grid Computing for Integrative Biomedical Research

Tahsin Kurc, Shannon Hastings, Vijay Kumar, Stephen Langella, Ashish Sharma, Tony Pan, Scott Oster, David Ervin, Justin Permar, Sivaramakrishnan Narayanan, Yolanda Gil, Ewa Deelman (+4 others)
2009 The international journal of high performance computing applications  
Integrative biomedical research projects query, analyze, and integrate many different data types and make use of datasets obtained from measurements or simulations of structure and function at multiple  ...  We then discuss how middleware systems, which incorporate Grid and highperformance computing, could be employed to address the requirements.  ...  AGMT TECH-04049, and the NIH through grants #R24 HL085343, #R01 LM009239, and #79077CBS10.  ... 
doi:10.1177/1094342009106192 pmid:20107625 pmcid:PMC2811341 fatcat:5p26dv5uwnbqtjjhn3lnugmqly

Nanopublication beyond the sciences: the PeriodO period gazetteer

Patrick Golden, Ryan Shaw
2016 PeerJ Computer Science  
Humanities scholars must wrestle with this fact when they attempt to publish or consume structured data.  ...  The practice of "nanopublication," which originated in the e-science domain, offers a way to maintain the connection between formal representations of humanities data and its discursive basis.  ...  ADDITIONAL INFORMATION AND DECLARATIONS Funding This work was generously funded by a Digital Humanities Start-Up Grant from the National Endowment for the Humanities (grant number HD-51864-14).  ... 
doi:10.7717/peerj-cs.44 fatcat:64beqz5b3ngzzknseni6fzb7ny

High-level languages for small devices

Manuel Carro, José F. Morales, Henk L. Muller, G. Puebla, M. Hermenegildo
2006 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems - CASES '06  
The case study is a "sound spatializer" which, given real-time signals for monaural audio and heading, generates stereo sound which appears to come from a position in space.  ...  In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting wearable computers.  ...  which in general may benefit other parts of the code, and generating automatically "hints" for the garbage collector.  ... 
doi:10.1145/1176760.1176794 dblp:conf/cases/CarroMMPH06 fatcat:vn73a57aszcphkh4smpbwq4jf4

Ontology-based fusion of sensor data and natural language

Erik Thomsen, Barry Smith
2018 Applied Ontology  
The system takes both sensor data and natural language text as inputs and composes on this basis logically structured POR assertions.  ...  The goal of our prototype is to represent both natural language and sensor data within a single framework that, in addition to axiomatic reasoning, directly supports computations and is capable of discovering  ...  This is because we were looking for a unified treatment of all information (and all associated computations) from sensor data to general knowledge as encoded in natural language.  ... 
doi:10.3233/ao-180203 fatcat:c5zkof6bivcdpgh2szc2y6zlm4

A Rule-based Framework for Creating Instance Data from OpenStreetMap [chapter]

Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Šimkus, Guohui Xiao
2015 Lecture Notes in Computer Science  
To this end, we give a formalization of OSM and present a rule-based language to specify the rules to extract instance data from OSM data.  ...  We describe a highly flexible toolbox to extract instance data from a given OSM map and a given set of rules.  ...  Conclusion and Outlook We have presented a flexible framework for generating instance data from a geospatial database for OQA systems.  ... 
doi:10.1007/978-3-319-22002-4_8 fatcat:tjkfk5pwxrcv7ip2j5gibodujq

Video Event Recognition for Surveillance Applications (VERSA) [article]

Stephen O'Hara
2010 arXiv   pre-print
The approach for event recognition in VERSA is using a declarative logic language to define the spatial and temporal relationships that characterize a given event or activity.  ...  Doing so requires the definition of certain fundamental spatial and temporal relationships and a high-level syntax for specifying frame templates and query parameters.  ...  Because this predicate must recursively search both depth and breadth of the XML data structure, it is a bit more complex in implementation.  ... 
arXiv:1007.3772v1 fatcat:apuv2tifhzbudmtwyzbxutka3y

Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture [chapter]

Rolf Grütter, Bettina Bauer-Messmer
2007 Lecture Notes in Geoinformation and Cartography  
a well-known calculus for spatial reasoning, and the Semantic Web's ontology language OWL.  ...  Issues of upholding consistency of the knowledge base in view of an evolving ontology and of computational complexity are discussed. S. Fabrikant, M. Wachowicz (Eds.):  ...  The authors sincerely thank Jürg Schenker, Martin Hägeli and Martin Brändli for the fruitful discussions and leadership that made this research possible.  ... 
doi:10.1007/978-3-540-72385-1_21 fatcat:wwdhgel3pne4peotr773d2e4ci

TERMOS: A Formal Language for Scenarios in Mobile Computing Systems [chapter]

Hélène Waeselynck, Zoltán Micskei, Nicolas Rivière, Áron Hamvas, Irina Nitu
2012 Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering  
This paper presents TERMOS, a UML-based formal language for specifying scenarios in mobile computing systems. TERMOS scenarios are used for the verification of test traces.  ...  They capture key properties to be checked on the traces, considering both the spatial configuration of nodes and their communication. We give an overview of the TERMOS design and semantics.  ...  This work was partially supported by the ReSIST network of Excellence (IST 026764) and the HIDENETS project (IST 26979) funded by the European Union under the Information Society Sixth Framework Program  ... 
doi:10.1007/978-3-642-29154-8_24 fatcat:jjslttqbznd4hilvdvxsqoh25m

Spatio-temporal Schema Integration with Validation: A Practical Approach [chapter]

A. Sotnykova, N. Cullot, C. Vangenot
2005 Lecture Notes in Computer Science  
In our methodology, we validate the source schemas against the data model; the inter-schema mappings are validated against the semantics of the data model and the syntax of the correspondence language.  ...  We propose to enhance a schema integration process with a validation phase employing logic-based data models.  ...  The MADS data model itself and the source schemas with integrity constraints are translated into a DL based language and the satisfiability of the resulting translated DL model is validated.  ... 
doi:10.1007/11575863_125 fatcat:wwundowwsjfppdy6x3y3dxl4py
« Previous Showing results 1 — 15 out of 38,679 results