• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Jayant Krishnamurthy (2)
    • Mitchell, Tom (2)
    • Shashank Srivastava (2)
    • Volegzhanina, I. (2)
    • ANR-12-JS02-0010,SIFR,Indexation sémantique de ressources biomédicales francophones(2012) (1)
    • Alejandro Rodríguez-González (1)
    • Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA) (1)
    • Bourgeois, Florent (1)
    • Carmen Benavides (1)
    • Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM) (1)
    •   more
  • 
    Year:
    
    • 2018 (16)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (16)
    • subject to license (1)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 16 of 16 1 Multimodal conceptual knowledge influences lexical retrieval speed: evidence from object-naming and word-reading in healthy adults Mackenzie-Phelan, R; Roberts, D. - : Frontiers Media, 2018 BASE Show details 2 A Two-Level Approach to Generate Synthetic Argumentation Reports Saint Dizier, Patrick In: ISSN: 1946-2166 ; EISSN: 1946-2174 ; Argument and Computation ; https://hal.archives-ouvertes.fr/hal-02191823 ; Argument and Computation, Taylor & Francis, 2018, 18 years of Computational Models of Natural Argument, 9 (2), pp.137-154. ⟨10.3233/AAC-180035⟩ ; https://content.iospress.com/articles/argument-and-computation/aac035 (2018) BASE Show details 3 ViewpointS: capturing formal data and informal contributions into an adaptive knowledge graph Lemoisson, Philippe; Surroca, Guillaume; Jonquet, Clement... In: ISSN: 1741-1009 ; EISSN: 1741-1017 ; International Journal of Knowledge and Learning ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01605411 ; International Journal of Knowledge and Learning, Inderscience, 2018, 12 (2), ⟨10.1504/IJKL.2017.10012219⟩ (2018) BASE Show details 4 Mobile System for Adaptive Qualified Measurement ; Système de Mesure Mobile Adaptif Qualifié Bourgeois, Florent. - : HAL CCSD, 2018 In: https://tel.archives-ouvertes.fr/tel-01889927 ; Modélisation et simulation. Université de Haute Alsace - Mulhouse, 2018. Français. ⟨NNT : 2018MULH8953⟩ (2018) Abstract: Mobile devices offer measuring capabilities using embedded or connected sensors. They are more and more used in measuring processes. They are critical because the performed measurements must be reliable because possibly used in rigorous context. Despite a real demand, there are relatively few applications assisting users with their measuring processes that use those sensors. Such assistant should propose methods to visualise and to compute measuring procedures while using communication functions to handle connected sensors or to generate reports. Such rarity of applications arises because of the knowledges required to define correct measuring procedures. Those knowledges are brought by metrology and measurement theory and are rarely found in software development teams. Moreover, every user has specific measuring activities depending on his field of work. That implies many quality applications developments which could request expert certification. These premises bring the research question the presented works answer : What approach enables the conception of applications suitable to specific measurement procedures considering that the measurement procedures could be configured by the final user. The presented works propose a platform for the development of measuring assistant applications. The platform ensure the conformity of measuring processes without involving metrology experts. It is built upon metrology, model driven engineering and first order logic concepts. A study of metrology enables to show the need of applications measuring process expert evaluation. This evaluation encompasses terms and rules that ensure the process integrity and coherence. A conceptual model of the metrology domain is proposed. That model is then employed in the development process of applications. It is encoded into a first order logic knowledge scheme of the metrology concepts. That scheme enables to verify that metrology constraints holds in a given measuring process. The verification is performed by confronting measuring processes to the knowledge scheme in the form of requests. Those requests are described with a request language proposed by the scheme. Measuring assistant applications require to propose to the user a measuring process that sequences measuring activities. This implies to describe a measuring process, and also to define interactive interfaces and sequencing mechanism. An application editor is proposed. That editor uses a domain specific language dedicated to the description of measuring assistant applications. The language is built upon concepts, formalisms and tools proposed by the metamodeling environment : Diagrammatic Predicat Framework (DPF). The language encompasses syntactical constraints that prevent construction errors on the software level while reducing the semantical gap between the software architect using it and a potential metrology expert. Then, mobile platforms need to execute a behaviour conforming to the editor described one. An implementation modelling language is proposed. This language enables to describe measuring procedures as sequences of activities. Activities imply to measure, compute and present values. Quantities are all abstracted by numerical values. This eases their computation and the use of sensors. The implementation model is made up of software agents. A mobile application is also proposed. The application is built upon a framework of agents, an agent network composer and a runtime system. The application is able to consider an implementation model and to build the corresponding agent network in order to propose a behaviour matching the end users needs. This enables to answer to any user needs, considering he can access to the implementation model, without requiring to download several applications. ; Les dispositifs matériels mobiles proposent des capacités de mesure à l'aide de capteurs soit embarqués, soit connectés. Ils ont vocation à être de plus en plus utilisés dans des processus de prises de mesures. Ils présentent un caractère critique dans le sens où ces informations doivent être fiables, car potentiellement utilisées dans un contexte exigeant. Malgré une grande demande, peu d'applications proposent d'assister les utilisateurs lors de relevés exploitant ces capacités. Idéalement, ces applications devraient proposer des méthodes de visualisation, de calcul, des procédures de mesure et des fonctions de communications permettant la prise en charge de capteurs connectés ou encore la génération de rapports. La rareté de ces applications se justifie par les connaissances nécessaires pour permettre la définition de procédures de mesure correctes. Ces éléments sont apportés par la métrologie et la théorie de la mesure et sont rarement présents dans les équipes de développement logiciel. De plus, chaque utilisateur effectue des activités de mesure spécifiques au domaine de son champ d'activités, ce qui implique le développement d'applications spécifiques de qualité pouvant être certifiées par des experts. Ce postulat apporte la question de recherche à laquelle les travaux présentés répondent: Comment proposer une approche pour la conception d’applications adaptées à des procédures de mesures spécifiques. Les procédures de mesure pouvant être configurées par un utilisateur final La réponse développée est une "plateforme" de conception d'applications d'assistance à la mesure. Elle permet d'assurer la conformité des procédures de mesures sans l'intervention d'expert de la métrologie. Pour cela elle est construite en utilisant des concepts issus de la métrologie, de l'Ingénierie Dirigée par les Modèles et de la logique du premier ordre. Une étude du domaine de la métrologie permet de mettre en évidence la nécessité d'une expertise des procédures de mesure impliquées dans les applications. Cette expertise comprend des termes et des règles assurant l'intégrité et la cohérence d'une procédure de mesure. Un modèle conceptuel du domaine de la métrologie est proposé. Ce modèle conceptuel est ensuite intégré au processus de développement d'une application. Cette intégration se fait par un encodage de ce modèle conceptuel sous la forme d'un schéma des connaissances de la métrologie en logique du premier ordre. Il permet, la vérification du respect des contraintes inhérentes à la métrologie dans une procédure de mesure. Cette vérification est réalisée en confrontant les procédures de mesures au schéma sous forme de requêtes. Ces requêtes sont décrites à l'aide d'un langage proposé par le schéma. Les applications d'assistance à la mesure nécessitent d'exposer à l'utilisateur un processus de mesure impliquant relevés et affichages de mesures étape par étape. Cela implique de pouvoir décrire un processus de mesure et d'en définir les interfaces et le schéma d'évolution. Pour cela, un éditeur d'application est proposé. Cet éditeur propose un langage spécifique dédié à la description d'applications d'assistance à la mesure. Ce langage est construit à partir des concepts, formalismes et outils proposés par l'environnement de métamodélisation Diagrammatic Predicate Framework (DPF). Le langage comporte des contraintes syntaxiques prévenant les erreurs de construction au niveau logiciel tout en réduisant l'écart sémantique entre l'architecte logiciel l'utilisant et un potentiel expert de la métrologie. [.] Keyword: [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation; Domain specific language; First order logic; Génie logiciel; Knowledge Representation; Langage spécifique de domaine; Logique du premier ordre; Measurement procedure; Metamodeling; Métamodélisation; Métrologie; Metrology; Model transformation; Procédure de mesure; Représentation de connaissances; Software engineering; Transformation de modèle URL: https://tel.archives-ouvertes.fr/tel-01889927/file/2018MULH8953_these_BOURGEOIS.pdf https://tel.archives-ouvertes.fr/tel-01889927/document https://tel.archives-ouvertes.fr/tel-01889927 BASE Hide details 5 Teaching Machines to Classify from Natural Language Interactions ... Shashank Srivastava. - : Carnegie Mellon University, 2018 BASE Show details 6 Teaching Machines to Classify from Natural Language Interactions ... Shashank Srivastava. - : Carnegie Mellon University, 2018 BASE Show details 7 Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362) Gabbay, Dov M.; Giacomin, Massimiliano; Liao, Beishui. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. : Dagstuhl Manifestos. Dagstuhl Manifestos, Volume 7, Issue 1, 2018 BASE Show details 8 Transformation Of Knowledge Representation Forms In The Didactic Support Of Learning And Instructing English In A Transport University ... Volegzhanina, I.. - : Zenodo, 2018 BASE Show details 9 Transformation Of Knowledge Representation Forms In The Didactic Support Of Learning And Instructing English In A Transport University ... Volegzhanina, I.. - : Zenodo, 2018 BASE Show details 10 Discovering Sociolinguistic Associations with Structured Sparsity ... Eisenstein, Jacob; Smith, Noah A.; Xing, Eric P.. - : Figshare, 2018 BASE Show details 11 A Semantic Social Network Analysis Tool for Sensitivity Analysis and What-If Scenario Testing in Alcohol Consumption Studies José Alberto Benítez-Andrades; Alejandro Rodríguez-González; Carmen Benavides... In: International Journal of Environmental Research and Public Health ; Volume 15 ; Issue 11 (2018) BASE Show details 12 Semantic vector space model and the usage patterns of Indonesian denominal verbs with meN- , meN- -kan , and meN- -i affixes ... Rajeg, Gede Primahadi Wijaya; Karlina Denistia; Musgrave, Simon. - : Monash University, 2018 BASE Show details 13 Vector Space Semantic Parsing: A Framework for Compositional Vector Space Models ... Jayant Krishnamurthy; Mitchell, Tom. - : Figshare, 2018 BASE Show details 14 Vector Space Semantic Parsing: A Framework for Compositional Vector Space Models ... Jayant Krishnamurthy; Mitchell, Tom. - : Figshare, 2018 BASE Show details 15 Comparing Repetition Priming Effects in Words and Arithmetic Equations: Robust Priming Regardless of Color or Response Hand Change Humphries A; Chen Z; Neumann E. - 2018 BASE Show details 16 COVER: a linguistic resource combining common sense and lexicographic information Mensa, Enrico; Radicioni, Daniele P.*; Lieto, Antonio. - 2018 BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 16 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0