960 Hits in 5.2 sec

ICONS 2017 Committee ICONS Steering Committee

Fabrice Mourlin, Marko Jäntti, Marko Jäntti, Zoubir Mammeri, Raimund Ege, Andrew Snow, Gary Weckman, Francesco Bianconi, Albert Cheng, David Cordeau, Peter De Bruyn, Francesco Fontanella (+39 others)
2017 ICONS 2017 The Twelfth International Conference on Systems Forward The Twelfth International Conference on Systems   unpublished
ICONS 2017 Committee ICONS Steering Committee  ...  Despite the adoption of uniform frameworks and system design methodologies supported by appropriate models and system specification languages, the deployment of application-oriented systems raises critical  ...  He has selected the Swagger language for such description. Its goal is to define a standard, languageagnostic interface to REST APIs.  ... 

Algebra-to-SQL Query Translation for Spatio-Temporal Databases [chapter]

Mohammed Minout, Esteban Zimányi
2004 Lecture Notes in Computer Science  
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures.  ...  In the context of the European project MurMur we developed a Query Editor tool that allows the creation of queries visually from the conceptual schema as well as the visualization of the query result.  ...  Second, the logical query is rewritten into a query expressed with the Data Manipulation Language provided by the target system.  ... 
doi:10.1007/978-3-540-30075-5_87 fatcat:xguknazdhfbvvadjez76uuf5cu

Promoting Geospatial Service from Information to Knowledge with Spatiotemporal Semantics

Jing Geng, Shuliang Wang, Wenxia Gan, Hanning Yuan, Zeqiang Chen, Ziqiang Yuan, Tianru Dai
2019 Complexity  
With the development of geoscience, users are eager to obtain preferred service from geospatial information intelligently and automatically.  ...  In this paper, a novel method is proposed to promote the geospatial service from information to knowledge with spatiotemporal semantics.  ...  Currently, the common description languages for semantic web service are OWL-S (Ontology Web Language-Semantic), WSMO (Web Services Modeling Ontology), SAWSDL (Semantic Annotations for Web Services Description  ... 
doi:10.1155/2019/9301420 fatcat:v4jvezspozhh7iysvs73wjes3e

Visualizing Natural Language Descriptions

Kaveh Hassani, Won-Sook Lee
2016 ACM Computing Surveys  
A natural language interface exploits the conceptual simplicity and naturalness of the language to create a high-level user-friendly communication channel between humans and machines.  ...  One of the promising applications of such interfaces is generating visual interpretations of semantic content of a given natural language that can be then visualized either as a static scene or a dynamic  ...  the temporal constraints.  ... 
doi:10.1145/2932710 fatcat:soyygmiqfvb4rlry6qaeqyvm6e

Macrostrat: A Platform for Geological Data Integration and Deep-Time Earth Crust Research

Shanan E. Peters, Jon M. Husson, John Czaplewski
2018 Geochemistry Geophysics Geosystems  
Sample-derived data, including fossil occurrences in the Paleobiology Database, more than 180,000 geochemical and outcrop-derived measurements, and more than 2.3 million bedrock geologic map units from  ...  Geospatially resolved ages, lithologies, and attributes of the upper crust facilitate quantitative analyses and data integration Macrostrat data are accessible via an Application Programing Interface invokable from  ...  and provide constraints on properties that are commensurate with the precision of the language used to describe rocks.  ... 
doi:10.1029/2018gc007467 fatcat:jqpmm5qqirezzmfevkyw7wdpki

Bringing LTL Model Checking to Biologists [chapter]

Zara Ahmed, David Benque, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov
2017 Lecture Notes in Computer Science  
Here we describe the LTL module, which includes a graphical and natural language interfaces to testing LTL queries.  ...  The Natural language interface complements the graphical interface by allowing a gentler introduction to formal logic and exposing educational resources.  ...  Natural language understanding In addition to understanding basic questions about LTL operators, the NLI can also interpret LTL queries from natural language.  ... 
doi:10.1007/978-3-319-52234-0_1 fatcat:pmpvoca6vvbpbkf52kekpmgrai

CONSORTS: A Multiagent Architecture for Service Coordination in Ubiquitous Computing [chapter]

Akio Sashima, Noriaki Izumi, Koichi Kurumatani
2004 Lecture Notes in Computer Science  
Using standardized agent communication language, called FIPA-ACL, and standard ontology for Ubiquitous Computing, CONSORTS agents can manage devices, services, and users in Ubiquitous Computing, and coordinate  ...  By wrapping the service APIs by the agent commutation languages like FIPA-ACL, the APIs can be standardized.  ...  A spatio-temporal reasoner manages "spatio-temporal inference engine" and "spatial information repository".  ... 
doi:10.1007/978-3-540-24666-4_12 fatcat:dhnv5v25ljhdhij6lzyhbhnjvy

Smart Configuration of Smart Environments

Simon Mayer, Ruben Verborgh, Matthias Kovatsch, Friedemann Mattern
2016 IEEE Transactions on Automation Science and Engineering  
In contrast to process-driven approaches where service mashups are statically defined, we make use of embedded semantic API descriptions to dynamically create mashups that fulfill the user's goal.  ...  In the article, we describe use cases from the home automation and future manufacturing domains.  ...  Next, our system needs to be able to infer the global structure of a service mashup from information about individual servicesfor this, we use a semantic reasoner that can infer logical consequences from  ... 
doi:10.1109/tase.2016.2533321 fatcat:eh3vyrsccngbda22gfnitedg5y

A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents

Joel A. F. Dos Santos, Débora C. Muchaluat-Saade, Cécile Roisin, Nabil Layaïda
2018 ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)  
The description of the expected spatio-temporal layout, therefore, is achieved by combining temporal and spatial atomic formulas.  ...  SH M allows the description of relations as both causal relations over event occurrences or as constraints over intervals.  ... 
doi:10.1145/3267127 fatcat:owgttb334vh75m5w5g3dz4wdqu

Latent Semantic Analysis for Multimodal User Input With Speech and Gestures

Pui-Yu Hui, Helen Meng
2014 IEEE/ACM Transactions on Audio Speech and Language Processing  
This paper describes our work in semantic interpretation of a "multimodal language" with speech and gestures using latent semantic analysis (LSA).  ...  Then, we characterize each cross-modal integration pattern as a 3-tuple multimodal term with SLR, pen gesture type and their temporal relationship.  ...  We will leverage this parsimonious description of salient cross-modal patterns in providing constraints for decoding multimodal expressions.  ... 
doi:10.1109/taslp.2013.2294586 fatcat:53a4qg4isjegnplrqm7ygjqkiu

Designing a knowledge-based tourism information system

Laurence Noel, Olivier Carloni, Nicolas Moreau, Stephanie Weiser
2008 International Journal of Digital Culture and Electronic Tourism  
His current research focuses on knowledge representation and the use of conceptual graphs as a query language.  ...  Her current research focuses on information extraction and knowledge acquisition techniques applied to spatio-temporal data.  ...  checks if the inferred knowledge satisfies all negative constraints.  ... 
doi:10.1504/ijdcet.2008.020132 fatcat:uuz7ywka2bf47ipxoerfjwql2m

Knowledge Management for Inclusive System Evolution [chapter]

Tiziana Margaria
2016 Lecture Notes in Computer Science  
that a change indeed has no effects, or maybe only the announced effects, on other portions of the connected landscape, and impacts are often assessable only or also by expert professionals distinct from  ...  In this paper, we discuss the state of affairs with the current practice of software design, and examine it from the point of view of the adequacy of knowledge management and change enactment in a co-creation  ...  We really hope, in a few years from now, to be able to look back at this first collection of papers and see what advancements have occurred in the way we deal with change in IT, economy, and society.  ... 
doi:10.1007/978-3-319-46508-1_2 fatcat:6tjhmojmwjedhp6innrio6casm

Towards Collaborative and Dynamic Spectrum Sharing via Interpretation of Spectrum Access Policies

Jakub Moskal, Jae-Kark Choi, Mieczyslaw M. Kokar, Soobin Um, Jeung Won Choi
2021 Applied Sciences  
The importance of these challenges stems from the assumption that rules for spectrum sharing can change after the deployment of radio networks and that the whole system must be able to adapt to them.  ...  As an example, consider a policy expressed in natural language: Policy 1: Allow transmission for a transmitter T if one of the following conditions is met: • T is located at least 2 km from NodeX; its  ...  Dictionary: It includes terms with natural language explanations of their meaning, where the explanations use the same language that includes the defined terms.  ... 
doi:10.3390/app11157056 fatcat:bebcarmimzfqvekj7uai5nyug4

Harnessing Cyc to Answer Clinical Researchers' Ad Hoc Queries

Douglas Lenat, Michael Witbrock, David Baxter, Eugene Blackstone, Chris Deaton, Dave Schneider, Jerry Scott, Blake Shepard
2010 The AI Magazine  
But, surprisingly often, after applying various constraints (medical domain knowledge, common sense, discourse pragmatics, syntax), there is only one single way to fit those fragments together, one semantically  ...  partial understanding of a query empowers semantic search over semi-structured data (ontology-tagged text), avoiding many of the false positives and false negatives that standard text searching suffers from  ...  Because these results are returned from inference as logical symbols, which range from nearly incomprehensible to completely incomprehensible, Cyc's NLG (natural language generator) (Coppock and Baxter  ... 
doi:10.1609/aimag.v31i3.2299 fatcat:6pugud5urbc2tf4yclu5ctovlm

Engineering a human factor-based geographic user interface

T.T. Elvins, R. Jain
1998 IEEE Computer Graphics and Applications  
Luigi affordances use icons and labels to increase mapping clarity. Explore the power of constraints, both natural and artificial. Constraints limit the possible ways of using a thing.  ...  If multiple temporal landscapes are visible, the animation will use the temporal bounds on the icon from which the animation is played.  ... 
doi:10.1109/38.674974 fatcat:iglopjriaraylorhsq5q54we5y
« Previous Showing results 1 — 15 out of 960 results