新規登録 | ログイン | FAQ      [?] 

タグ: interoperability [122 articles]

Recent papers classified by the tag interoperability.
  • Interoperability of bioinformatics resources
    VINE, Vol. 35, No. 3. (March 2005), pp. 132-139.
    by Hiten Vyas, Ron Summers
    posted to bio_informatics health_informatics interoperability km semantic_web standards by wcrosbie on 2005-12-02 04:32:13 as ** along with 3 people and 2 groups ldodds eweaver Scis0000002 Wikipedia CoP_CMS
  • Intelligent integration of information
    SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of data, Vol. 22, No. 2. (June 1993), pp. 434-437.
    by Gio Wiederhold
    posted to interoperability ontology by vtanas on 2005-02-23 10:30:12 as **
  • UPML: A Framework for Knowledge System Reuse
    (1999), pp. 16-23.
    by Dieter Fensel, Richard R Benjamins, Enrico Motta, Bob J Wielinga
    posted to interoperability ontology by vtanas on 2005-02-22 10:13:15 as ** along with 1 person jahrynx
  • Interoperability of Biodiversity Databases: Biodiversity Information on Every Desktop
    Science, Vol. 289, No. 5488. (29 September 2000), pp. 2312-2314.
    by James L Edwards, Meredith A Lane, Ebbe S Nielsen
    posted to biodiversity bioinformatics databases interoperability by tharris on 2008-07-31 00:54:17 as ** along with 1 person phig
  • A service management framework for SOA-based interoperability transactions
    Science and Technology, 2005. KORUS 2005. Proceedings. The 9th Russian-Korean International Symposium on (2005), pp. 680-684.
    by Phung H Phu, Myeongjae Yi
    posted to interoperability web-services by sgupta on 2005-11-06 21:53:03 as ** along with 3 people and 1 group swwsman schmiddi jamescford Rigi
  • Interoperability for digital libraries worldwide
    Commun. ACM, Vol. 41, No. 4. (April 1998), pp. 33-42.
    by Andreas Paepcke, Chen-Chuan K Chang, Terry Winograd, H&\#233;ctor Garc&\#237;a-Molina
    posted to dl interoperability by seungwon on 2006-12-19 14:48:34 as read along with 1 group VT_DLRL
  • System Description: Twelf --- A Meta-Logical Framework for Deductive Systems
    (1999), pp. 202-206.
    by Frank Pfenning, Carsten Schürmann
    edited by H Ganzinger
    posted to computational-logic formal-digital-libraries formal-digital-library general-logics interoperability metalogical-frameworks metalogics metaprogramming metascience theory-of-institutions twelf unified-concept-theory universal-logic by Scis0000002 on 2007-07-10 09:20:53 as **
  • Distributed Representations and Nested Compositional Structure
    (1994)
    by TA Plate
    posted to distributed interoperability by Scis0000002 on 2007-07-26 15:08:53 as ** along with 1 person scis0000001
  • Formal interoperability
    (1998)
    by J Meseguer
    posted to interoperability logical-theories mkm by Scis0000002 on 2007-07-05 13:47:44 as **
  • Categorical logic of concurrency and interaction II: Asynchronous processes
    by D Pavlovic
    posted to categorical-logic concurrency interaction interactivity interoperability by Scis0000002 on 2007-08-04 09:36:03 as **
  • A Reflective Framework for Formal Interoperability
    by Sri
    posted to category-of-theories cognitive-architectures interoperability logical-theories meta-level-architectures metalogics theory theory-development by Scis0000002 on 2007-07-05 13:46:39 as **
  • Holographic Trees
    (2002), pp. 465-478.
    by Paolo Boldi, Sebastiano Vigna
    posted to distributed-computing holographic holography idealization interoperability limits metamathematics self-similarity tree trees ultrametricity unified-concept-theory by Scis0000002 on 2007-08-24 14:31:48 as **
  • Bridge Ontology and Its Role in Semantic Annotation
    (2004), pp. 329-334.
    by Baowen Xu, Peng Wang, Jianjiang Lu, Yanhui Li, Dazhou Kang
    posted to alignment annotation interoperability ontology by Scis0000002 on 2007-07-29 18:13:41 as **
  • Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems
    Artif. Intell., Vol. 165, No. 2. (July 2005), pp. 187-259.
    by Pietro Baroni, Massimiliano Giacomin, Giovanni Guida
    posted to conflict-resolution conflicts distributedness inconsistencies inconsistency-handling interoperability problem-solving self-stabilizing by Scis0000002 on 2007-09-28 10:21:36 as **
  • Agent based cooperative theory formation in pure mathematics
    (2000)
    by S Colton, A Bundy, T Walsh
    posted to agent-theory aixi argumentation argumentation-games argumentation-theory category-of-theories collaboration computability-logic computational-science dialogical-logic distributed distributed-operating-system experts extendability formal-digital-library formal-interoparability formal-problem-solving formal-science formation game-theory goedel-machine heterogeneous hyperefficiency hypernetworks iff interoperability logical-theories markets mathematics mechanized-mathematics metascience mkm oops optimality philosophy-of-science problem-solving proof-search resource-allocation scientific-community semweb socio-economic-systems theory-development unified-concept-theory by Scis0000002 on 2007-07-01 16:37:59 as **
  • Towards a modularized semantic web
    (2002)
    by R Volz, A Mdche, D Oberle
    posted to accessability artificial-society composability contextuality cyberinfrastructure distributed distributedness evolvability extendability extendibility grid heterogeneity hyperefficiency hypermedia hyperstructures information-dynamics infrastructures interoperability meta-level-architectures modularity nested-graphs reflectivity reusability semantic-web ubiquity by Scis0000002 on 2007-07-31 13:28:49 as **
  • Open-Ended Artificial Evolution
    ArXiv Nonlinear Sciences e-prints (October 2002)
    by RK Standish
    posted to al algorithmic-information-theory category-of-programs category-of-strategies category-of-theories constructivism distributedness emergence evolution evolution-theory executable-specifications executable-theories extendability goedel-machine hierarchy-of-machines interoperability logical-theories metaevolution modeling network-of-programs network-of-theories open-ended portfolio-theory strategies taxonomy-of-theories by Scis0000002 on 2007-08-24 15:46:50 as **
  • Perspective Switching Using Theories and Interpretations
    by William M Farmer
    posted to category-of-modules category-of-ontologies category-of-theories contextuality distributedness formal-digital-libraries formal-theories hets interoperability modularity network-of-modules network-of-ontologies network-of-theories problem-solving semweb support theory-interpretations unified-concept-theory w-alignments by Scis0000002 on 2007-08-23 15:10:36 as ** along with 1 person scis0000001
  • Multilingualism in International Law and Institutions
    (31 August 1981)
    by Mala Tabory
    posted to interoperability linguistic-frameworks metacommunication multilingualism by Scis0000002 on 2008-07-19 06:12:47 as **
  • Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus
    by Kevin H Knuth
    posted to argumentation-theory complete-lattices computability-theory formal-interoperability game-theory interoperability lattice-theory web3 by Scis0000002 on 2007-12-28 14:06:08 as ** along with 2 people scis0000001 Kristoftol
  • Relating CASL with other specification languages: the institution level
    Theor. Comput. Sci., Vol. 286, No. 2. (September 2002), pp. 367-475.
    by Till Mossakowski
    posted to interoperability by Scis0000002 on 2007-07-26 15:10:04 as ** along with 2 people scis0000001 marcinzalewski
  • Using NLP Techniques for Meaning Negotiation
    by Bernardo Magnini, Luciano Serafini, Manuela Speranza
    posted to interoperability negotiation by Scis0000002 on 2007-08-21 23:16:06 as **
  • From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components
    Artificial Intelligence and Symbolic Computation (1998), 42.
    by Alessandro Armando, Silvio Ranise
    posted to inferencing interoperability by Scis0000002 on 2007-07-06 13:53:21 as **
  • A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
    posted to cartesian-closed-categories categorical-logic computational-complexity-theory computational-logic conceptua conceptual-structures formal-interoperability formality formal-physics functional-programming general-logics goedel-machine hierarchy-of-complexity-classes higher-order-categorical-logic higher-topos-theory hyperdoctrines inquiry interoperability intuitionistic-logic lamda-calculus language-selection local-mathematics logical-structures logical-theories logic-selection metalogical-frameworks metalogics philosophy-of-science physical-models physical-theories relativity resource-allocation sketches toposes topos-morphisms topos-theory type-theory by Scis0000002 on 2007-07-07 14:51:07 as ** along with 5 people jrw proportional madhadron scis0000001 gpi
  • Semantic Trading: Tackling Interoperability Problems During System Integration
    (1999)
    by Sotirios Terzis, Paddy Nixon
    posted to interoperability investing semantic-investing semantic-trading semantic-web by Scis0000002 on 2008-01-19 14:47:26 as **
  • Clusters or networks of economies? A macroeconomy study through Gross Domestic Product
    Physica A Statistical Mechanics and its Applications, Vol. 382 (August 2007), pp. 16-21.
    by M Ausloos, R Lambiotte
    posted to clusters correlations evolving-networks global-economy heterogeneity hypernetworks interoperability markets modularity networks networks-of-economies time-delay by Scis0000002 on 2007-11-15 00:26:23 as **
  • Importing the semantic web in uddi
    (2002)
    by M Paolucci, T Kawamura, T Payne, K Sycara
    posted to 4-manifolds abilities ability ability-space artificial-society category-of-abilities category-of-cobordisms category-of-functionalities category-of-processes category-of-skills category-of-technologies competence-management compostionality computational-economics effects event-space evolvability extendability extendibility functionalities functionality functionality-space hyperefficiency interoperability lattice-of-abilities lattice-of-functionalities lattice-of-services lattice-of-skills meta-level-architectures modalities modality modularity organization-theory process-space resource-allocation semantic-web skills topos-theory uddi web-service web-services workflow workflows by Scis0000002 on 2007-09-16 16:20:31 as ** along with 2 people and 1 group malenitah2 lijing CHISEL
  • Generic Model Management: A Database Infrastructure for Schema Manipulation
    (2001), pp. 1-6.
    by Philip A Bernstein
    posted to iff interoperability mda mdd mde model-transformation unified-concept-theory by Scis0000002 on 2007-08-21 14:07:19 as **
  • What Is a Concept?
    Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
    by Joseph Goguen
    posted to abstract-model-theory grothendieck-flattening grothendieck-institution interoperability mathematical-frameworks metalogical-frameworks topos-theory by Scis0000002 on 2007-07-26 15:12:18 as ** along with 7 people and 2 groups garyfeng adrian_pigors maike scis0000001 livingthingdan mzygmunt RafG ReadingLab livingthing
  • Is “the theory of everything” merely the ultimate ensemble theory?
    (1 Dec 1998)
    by Max Tegmark
    posted to accessibility all-categorical-structures all-mathematical-structures all-possible-worlds complexity computability computability-theory constructivization control controlability decision-procedure exploitation exploiting exploration exploring extendability extraction formal-interoperability formalization-hypothesis formal-problem-solving formal-science formal-theories goedel-machine hierarchy-of-machines higher-dimensional-category-theory hypercomputability hypercomputing hyperefficiency intelligence-order-relations interconnectivity interoperability mathematical-structures metaevolution metalogical-frameworks metalogics metamathematical-frameworks metamathematics metaphilosophy metascience metaselection philosophy-of-science physical-structures power presentation quantum-computability regularities representation resource-allocation selection specification survivability topos-theory transformation by Scis0000002 on 2007-07-15 18:08:19 as ** along with 1 person scis0000001
  • General logics and logical frameworks
    (1994), pp. 355-391.
    by Narciso Mart&\#237;-Oliet, Jos&\#233; Meseguer
    posted to computational-logic general-logics interoperability logical-frameworks maude metalogical-frameworks metalogics metaprogramming metascience theory-of-institutions unified-concept-theory universal-logic by Scis0000002 on 2007-07-06 14:06:18 as ** along with 1 person scis0000001
  • Semantic matching across heterogeneous data sources
    Commun. ACM, Vol. 50, No. 1. (January 2007), pp. 45-50.
    by Huimin Zhao
    posted to heterogeneous interoperability matching semantic by Scis0000002 on 2007-07-26 15:04:31 as ** along with 4 people and 2 groups ianturton lanubile azygmunt dagmar CDG AGH-IISG
  • Contextualizing Concepts Using a Mathematical Generalization of the Quantum Formalism
    (2002)
    by L Gabora, D Aerts
    posted to interoperability by Scis0000002 on 2007-07-26 15:11:16 as ** along with 1 person scis0000001
  • Measuring the Internationalisation of the Generation of Knowledge
    Handbook of Quantitative Science and Technology Research (2005), pp. 645-662.
    by Dominique Guellec, Pottelsberghe
    posted to globalization infrastructures innovating internationalisation interoperability knowledge- knowledge-society researching societies technologies theories by Scis0000002 on 2008-07-24 11:37:43 as **
  • An infrastructure for formally ensuring interoperability in a heterogeneous semantic web
    (2001)
    by J Euzenat
    posted to heterogeneity interoperability modularity semantic-web by Scis0000002 on 2007-07-31 14:33:43 as **
  • jETI: A Tool for Remote Tool Integration
    Tools and Algorithms for the Construction and Analysis of Systems (2005), pp. 557-562.
    by Tiziana Margaria, Ralf Nagel, Bernhard Steffen
    posted to interoperability by Scis0000002 on 2007-09-07 14:44:19 as **
  • Development of NeuroElectroMagnetic ontologies(NEMO): a framework for mining brainwave ontologies
    (2007), pp. 270-279.
    by Dejing Dou, Gwen Frishkoff, Jiawei Rong, Robert Frank, Allen Malony, Don Tucker
    posted to activities annotating bcis behaviors brain-reading brain-theories cognitive-architectures decoding iff interoperability neurodynamics neuroimaging neurosemantics neuro-semantics neurotechnologies ontologies semantics semantic-space semantic-spaces time-series-analysis unified-concept-theory vocabularies by Scis0000002 on 2008-08-02 19:16:56 as **
  • Talking Heads: Language, Metalanguage, and the Semiotics of Subjectivity
    (01 November 1997)
    by Benjamin Lee
    posted to category-of-interactions category-of-theories cultural-evolution dynamics formal-philosophy hierarchy-of-machines intelligence-order-relations interactivity interoperability intersubjectivity metaevolution metalanguages metalayer-architectures meta-level-architectures metalogical-frameworks metamathematical-frameworks metamathematics metaphilosophical-frameworks metaphilosophy metascience neurophilosophy neuroscience objectivity philosophical-frameworks philosophy-of-science relativity scientific-community self-reflectivity semantics semiotics subjectivity synthetic-science by Scis0000002 on 2007-07-10 09:40:57 as ** along with 1 person 13matt
  • An infrastructure to support interoperability in reverse engineering
    Information and Software Technology, Vol. 49, No. 3. (March 2007), pp. 292-307.
    by Nicholas A Kraft, Brian A Malloy, James F Power
    posted to interoperability by Scis0000002 on 2007-08-30 18:46:56 as ** along with 1 person and 1 group oscar onekin
  • A MDA-based Approach to the Ontology Definition Metamodel
    by Dragan Djuric, Dragan Gasevic, Vladan Devedzic
    posted to interoperability logical-theories metamodels ocl odm ontologies ontology owl owl-institution uml by Scis0000002 on 2007-08-15 23:55:34 as **
  • Project Description:
    by Higher C Structures
    posted to category-of-cobordisms category-of-interactions combination combinations-of-interactions combining higher-dimensional-category-theory interactions interferences interoperability manifolds multiverse superposition by Scis0000002 on 2007-07-15 18:00:54 as ** along with 1 person scis0000001
  • Coordination: A modeltheoretic perspective
    (2001)
    by A Agostini, D de Jongh, F Montagna
    posted to coordination interaction interoperability model-theory by scis0000001 on 2006-08-29 14:52:11 as **
  • Interoperability issues affecting autonomic computing
    Vol. 30, No. 4. (July 2005), pp. 1-3.
    by Dennis Smith, Edwin Morris, David Carney
    posted to autonomic-computing interoperability by scis0000001 on 2006-09-19 12:30:32 as ** along with 1 person and 1 group franco P2P-SeC
  • A Survey on Information Systems Interoperability
    by Renato Fileto, Claudia B Medeiros
    posted to information-system interoperability by scis0000001 on 2006-11-17 14:37:41 as **
  • Cooperation = Coordination + Solvability
    by Alessandro Agostini
    posted to cooperation coordination interoperability solvability by scis0000001 on 2006-08-29 14:53:46 as ** along with 1 person and 1 group pverstra macc
  • Mercury—the Rosetta stone of physics?
    Journal of Optics B: Quantum and Semiclassical Optics, Vol. 4, No. 4. (2002), pp. S376-S383.
    by Thomas Walther, Edward S Fry
    posted to classification iff interoperability physics quantum-vacuum rosetta-stone by scis0000001 on 2007-03-15 13:35:08 as **
  • A Taxonomy of Theories
    by Anthony A Aaby
    posted to algorithmic-information-theory all-logical-theories category-of-theories computational-science dev e-science formal-development formal-science formalization hierarchy-of-theories iff institutions interoperability lattice lattice-of-theories logical-theories mda metamodeling metascience metatheory ontology ontology-development optimality parchments representation rm-odp semweb standards taxonomy taxonomy-of-theories theory theory-development unified-concept-theory by scis0000001 on 2006-09-08 13:28:12 as **
  • On semantic interoperability and the flow of information
    (2003)
    by M Schorlemmer, Y Kalfoglou
    posted to chu-space iff information-flow interoperability semantics by scis0000001 on 2006-09-01 10:13:48 as ** along with 1 person leechuck
  • The "Honest Broker" method of integrating interdisciplinary research data.
    AMIA Annu Symp Proc (2005)
    by AD Boyd, DA Hunscher, AJ Kramer, C Hosner, P Saxman, BD Athey, JF Greden, DC Clauw
    posted to interoperability medicine by nolodie on 2008-04-10 21:03:50 as ** along with 1 person saxman
  • An 'Honest Broker' mechanism to maintain privacy for patient care and academic medical research.
    International journal of medical informatics, Vol. 76, No. 5-6. (n 2007), pp. 407-411.
    by AD Boyd, C Hosner, DA Hunscher, BD Athey, DJ Clauw, LA Green
    posted to interoperability medicine by nolodie on 2008-04-10 21:03:19 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/interoperability

    Result page: 1 2 3 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.