|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18708 occurrences of 5441 keywords
|
|
|
Results
Found 36096 publication records. Showing 36096 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Jorma K. Mattila |
Possibility Based Modal Semantics for Graded Modifiers. |
IFSA (1) |
2007 |
DBLP DOI BibTeX RDF |
metalogic, Semantics of Modal Logic, Semantics of Modifier Logic, Modifier system, Modality, Modifier |
25 | Minhua Ma, Paul McKevitt |
Interval Relations in Lexical Semantics of Verbs. |
Artif. Intell. Rev. |
2004 |
DBLP DOI BibTeX RDF |
CONFUCIUS, language visualisation, verb semantics, visual semantics, knowledge representation, natural language understanding, temporal relations |
25 | Peter D. Mosses |
Exploiting labels in Structural Operational Semantics. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
MSOS, modularity, structural operational semantics, natural semantics, SOS |
25 | Luis Fernando Llana Díaz, Manuel Núñez 0001 |
Testing Semantics for Unbounded Nondeterminism. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics |
25 | Marina Lenisa |
Final Semantics for a Higher Order Concurrent Language. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction |
25 | David W. Binkley |
Reducing the cost of regression testing by semantics guided test case selection. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
semantics guided test case selection, semantic differences, common execution patterns, interprocedural slice, calling context slice, software maintenance, software maintenance, program testing, program testing, regression testing, cost, software cost estimation, language semantics |
25 | Bijan Arbab, Daniel M. Berry |
Some Comments on "A Denotational Semantics for Prolog". |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
logic programming, operational semantics, denotational semantics |
25 | Luc Bougé |
On the Semantics of Languages for Massively Parallel SIMD Architectures. |
PARLE (2) |
1991 |
DBLP DOI BibTeX RDF |
The C language, Semantics, SIMD, Parallel languages, Structured Operational Semantics, Massively parallel architecture, Connection Machine, Program equivalence |
25 | Arnon Avron |
Multi-valued Semantics: Why and How. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Multi-valued semantics, Suszko’s Thesis, analycity, modularity, many-valued logics, non-deterministic matrices |
25 | Wei Ke 0001, Zhiming Liu 0001, Shuling Wang, Liang Zhao 0022 |
A Graph-Based Operational Semantics of OO Programs. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
state graphs, operational semantics, object graphs, OO programs |
25 | Pascual Julián, Ginés Moreno, Jaime Penabad |
On the Declarative Semantics of Multi-Adjoint Logic Programs. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
Herbrand Model, Fuzzy Logic Programming, Declarative Semantics |
25 | Rachid Guerraoui, Michal Kapalka |
The semantics of progress in lock-based transactional memory. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number |
25 | Eric Reuland, Yoad Winter |
Binding without Identity: Towards a Unified Semantics for Bound and Exempt Anaphors. |
DAARC |
2009 |
DBLP DOI BibTeX RDF |
Anaphors, Exemption, Proxy-readings, Skolem functions, Variable-free semantics |
25 | M. V. Arkhipova, Sergey V. Zelenov |
Directed Generation of Test Data for Static Semantics Checker. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
context condition, grammar, specification based testing, static semantics, Automated test data generation |
25 | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
A semantics-based approach to malware detection. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
abstract interpretation, obfuscation, malware detection, trace semantics |
25 | Musab AlTurki, José Meseguer 0001 |
Real-time rewriting semantics of orc. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude |
25 | Paolo Bottoni, Juan de Lara, Esther Guerra |
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages. |
VL/HCC |
2007 |
DBLP DOI BibTeX RDF |
Visual Languages, Meta-Modelling, Operational Semantics, Graph Transformation |
25 | Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar |
Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. |
ICCSA (3) |
2007 |
DBLP DOI BibTeX RDF |
Enterprise Language, Structural Concepts, UML/OCL, Denotational Semantics, RM-ODP |
25 | Haiping Zhu, Huajie Zhang, Yong Yu 0001 |
Deeper Semantics Goes a Long Way: Fuzzified Representation and Matching of Color Descriptions for Online Clothing Search. |
WISE |
2006 |
DBLP DOI BibTeX RDF |
Semantics of Color Descriptions, HSL Color Space, Fuzzy Colors, Fuzzy Conceptual Graphs, Fuzzy Color Similarity |
25 | Hai Zhuge |
The open and autonomous interconnection semantics. |
ICEC |
2006 |
DBLP DOI BibTeX RDF |
interconnection environment, semantics, autonomy |
25 | Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab |
Compositional Semantics of an Actor-Based Language Using Constraint Automata. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
Rebeca, Compositional semantics, Reo, Constraint Automata, actor model |
25 | M. D. Derk |
Towards a simpler method of operational semantics for language definition. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
operational semantics, binding, BNF |
25 | Frank Zeyda, Bill Stoddart, Steve Dunne |
A Prospective-Value Semantics for the GSL. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution |
25 | Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings |
A formal framework for agent interaction semantics. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
intention ACL, interaction state, protocol, semantics, belief |
25 | Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer |
Semantics of declarative goals in agent programming. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
semantics, default logic, agent programming languages, declarative goals |
25 | María Victoria Cengarle, Alexander Knapp |
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
UML, OCL, Formal semantics |
25 | Paolo Terenziani, Richard T. Snodgrass |
Reconciling Point-Based and Interval-Based Semantics in Temporal Relational Databases: A Treatment of the Telic/Atelic Distinction. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
data models, Temporal databases, database semantics |
25 | Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001 |
A Formal Semantics of UML Sequence Diagram. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
UML, Semantics, Consistency, Sequence Diagram |
25 | Dawei Ding 0003, Jun Yang 0003, Qing Li 0001, Liping Wang 0002, Wenyin Liu |
Towards a flash search engine based on expressive semantics. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
expressive semantics, flash retrieval, classification, search engine, web application, eigenvector |
25 | Xuede Zhan, Huaikou Miao, Ling Liu |
Formalizing the Semantics of UML Statecharts with Z*. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
UML, formal semantics, Z, UML statechart |
25 | Salvador España Boquera, Vicent Estruch |
A Memoizing Semantics for Functional Logic Languages. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
Programming languages, formal semantics, memoization |
25 | Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal |
A semantics for tracing declarative multi-paradigm programs. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
semantics, tracing, functional logic programming |
25 | Lloyd Rutledge, Martin Alberink, Rogier Brussee, Stanislav Pokraev, William van Dieten, Mettina Veenstra |
Finding the story: broader applicability of semantics and discourse for hypermedia generation. |
Hypertext |
2003 |
DBLP DOI BibTeX RDF |
clustering, semantics, hypermedia, RDF, narrative, SMIL, concept lattices, discourse |
25 | Veda C. Storey, Robert C. Goldstein, Harald Ullrich |
Naive Semantics to Support Automated Database Design. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
naive Semantics, database design, design automation, entity-relationship model |
25 | Dániel Varró, András Pataricza |
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. |
UML |
2002 |
DBLP DOI BibTeX RDF |
refinement, model transformation, metamodeling, formal semantics, graph transformation |
25 | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
A Global Semantics for Views. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
mixed specifications, view formalism, global semantics |
25 | Michael Huth 0001 |
On the Approximation of Denotational Mu-Semantics. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
least/greatest pixed, recursion, points, partial orders, denotational semantics |
25 | Luis Fernando Llana Díaz, David de Frutos-Escrig |
Relating May and Must Testing Semantics for Discrete Timed Process Algebras. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
testing semantics, must, may, time, process algebra |
25 | Chris Ho-Stuart, Shaoying Liu |
A Formal Operational Semantics for SOFL. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
operational-semantics data-flow-diagram specification |
25 | Maciej Koutny |
Partial Order Semantics of Box Expressions. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics |
25 | Kim Marriott, Peter J. Stuckey |
Semantics of Constraint Logic Programs with Optimization. |
LOPLAS |
1993 |
DBLP DOI BibTeX RDF |
semantics, constraint logic programming |
24 | Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel |
A Sound Observational Semantics for Modal Transition Systems. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Yasuo Nakayama |
Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008. |
JSAI |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Guohua Liu, Jia-Huai You |
Lparse Programs Revisited: Semantics and Representation of Aggregates. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Pavel Avgustinov, Julian Tibble, Oege de Moor |
On the Semantics of Matching Trace Monitoring Patterns. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Marie Agier, Jean-Marc Petit |
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets. |
ICFCA |
2007 |
DBLP DOI BibTeX RDF |
|
24 | David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez |
New Bisimulation Semantics for Distributed Systems. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Slavisa Markovic, Thomas Baar |
An OCL Semantics Specified with QVT. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Tok Wang Ling |
Capturing Semantics in XML Documents. |
KDXD |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Keita Fujii, Tatsuya Suda |
Semantics-based dynamic service composition. |
IEEE J. Sel. Areas Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
Comparison of Different Semantics for Time Petri Nets. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
Timed Bisimilarity, Expressiveness, Time Petri Nets |
24 | Kevin Chen-Chuan Chang, Bin He 0001, Zhen Zhang 0001 |
Mining semantics for large scale integration on the web: evidences, insights, and challenges. |
SIGKDD Explor. |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
The Refined Operational Semantics of Constraint Handling Rules. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jan-Georg Smaus |
Is There an Optimal Generic Semantics for First-Order Equations?. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Harry G. Mairson |
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Jonathan P. Bowen, Jifeng He 0001, Qiwen Xu |
An Animatable Operational Semantics of the Verilog Hardware Description Language. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Ekawit Nantajeewarawat, Vilas Wuwongse |
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Lukasiewicz |
Many-Valued First-Order Logics with Probabilistic Semantics. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Glynn Winskel |
A Presheaf Semantics of Value-Passing Processes. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Michal Walicki, Sigurd Meldal |
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
reasoning with nondeterminism, algebraic specifications |
24 | Roy L. Crole, Andrew D. Gordon 0001 |
A Sound Metalogical Semantics for Input/Output Effects. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Els Laenens, Dirk Vermeir, Carlo Zaniolo |
Logic Programming Semantics Made Easy. |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
Denotational Versus Declarative Semantics for Functional Programming. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Michael Johnson, Farshad Fotouhi, Sorin Draghici, Ming Dong 0001, Duo Xu |
Discovering Document Semantics QBYS: A System for Querying the WWW by Semantics. |
Multim. Tools Appl. |
2004 |
DBLP DOI BibTeX RDF |
query-by-semantics, document features, document type, neural network |
24 | Jan J. M. M. Rutten |
Nonwellfounded Sets and Programming Language Semantics. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics |
23 | Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre |
Role-based semantics for agent communication: embedding of the 'mental attitudes' and 'social commitments' semantics. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | David Harel, Bernhard Rumpe |
Meaningful Modeling: What's the Semantics of "Semantics"?. |
Computer |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Viet Phan Luong |
Between Well-Founded Semantics and Stable Model Semantics. |
IDEAS |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Lunjin Lu, Peter Greenfield |
Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
23 | David A. Watt |
An Action Semantics of Standard ML. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Adrienne G. Bloss, Paul Hudak |
Path Semantics. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
23 | K. V. S. Prasad |
A Calculus of Value Broadcasts. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
CR classification F3.2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics, F3.1 Logics of programs |
23 | K. V. S. Prasad |
Programming with Broadcasts. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
CR classification F3. 2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics |
23 | Sara Cohen, Yaacov Y. Weiss |
Bag equivalence of XPath queries. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
bag semantics, multiset semantics, XPath, query equivalence |
23 | Huibiao Zhu, Jifeng He 0001, Geguang Pu, Jing Li 0062 |
An Operational Approach to BPEL-like Programming. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling |
23 | Marjorie McShane, Sergei Nirenburg, Stephen Beale |
An NLP Lexicon as a Largely Language-Independent Resource. |
Mach. Transl. |
2005 |
DBLP DOI BibTeX RDF |
Ontological Semantics, Language-independent resources, Knowledge-rich NLP, Semantics, Lexicon |
23 | Mohammad Reza Mousavi 0001, Murdoch Gabbay, Michel A. Reniers |
SOS for Higher Order Processes. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics |
23 | Vilas Wuwongse, Ekawit Nantajeewarawat |
Declarative Programs with Implicit Implications. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics |
23 | Alfredo Burrieza, Inman P. de Guzmán |
A Temporal × Modal Approach to the Definability of Properties of Functions. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
$Ttimes W$-semantics, functional semantics, completeness, definability |
23 | Alessandro Giacalone, Scott A. Smolka |
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
Clara, equational rules, user interfaces, parallel programming, parallel programming, graphical user interface, computer graphics, programming environments, programming environments, specification language, specification languages, operational semantics, programming theory, concurrent systems, inference rules, CCS, interactive simulation, formal techniques, simulation languages, algebraic semantics, concurrent languages |
23 | Amit P. Sheth, James A. Larson, Evan Watkins |
TAILOR, A Tool for Updating Views. |
EDBT |
1988 |
DBLP DOI BibTeX RDF |
application semantics, semantic integrity constraints, semantic ambiguity problem, translations, view update, database semantics, semantic knowledge, rule based approach, relational views |
23 | João Marcos 0001 |
What is a Non-truth-functional Logic? |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Abstract logics, truth-functionality, formal semantics |
23 | Maria João Frade, Ando Saabas, Tarmo Uustalu |
Foundational certification of data-flow analyses. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics |
23 | Gerwin Klein, Tobias Nipkow |
A machine-checked model for a Java-like language, virtual machine, and compiler. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Java, theorem proving, operational semantics |
23 | David E. Millard, Nicholas Gibbins, Danius T. Michaelides, Mark J. Weal |
Mind the semantic gap. |
Hypertext |
2005 |
DBLP DOI BibTeX RDF |
hypertext formality, hypertext semantics |
23 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
Partial orderings descriptions and observations of nondeterministic concurrent processes. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages |
23 | Rada Chirkova, Michael R. Genesereth |
Equivalence of SQL queries in presence of embedded dependencies. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
embedded dependencies, conjunctive queries, query equivalence |
23 | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner 0001 |
On the Computability and Complexity Issues of Extended RDF. |
PRICAI |
2008 |
DBLP DOI BibTeX RDF |
Extended RDF ontologies, Semantic Web, complexity, rules, negation |
23 | Emad Saad, Enrico Pontelli |
A new approach to hybrid probabilistic logic programs. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68T37 |
23 | Hélène Jaudoin, Frédéric Flouvat, Jean-Marc Petit, Farouk Toumani |
Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints. |
J. Data Semantics |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Baba Piprani |
Using ORM-Based Models as a Foundation for a Data Quality Firewall in an Advanced Generation Data Warehouse (Extended Version). |
J. Data Semantics |
2008 |
DBLP DOI BibTeX RDF |
data quality firewall, advanced generation data warehouse, data quality assessment, data quality threshold, conceptual schema, ORM |
23 | Guy Pierra |
Context Representation in Domain Ontologies and Its Use for Semantic Integration of Data. |
J. Data Semantics |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Miren I. Bagüés, Jesús Bermúdez, Arantza Illarramendi, Alberto Tablado, Alfredo Goñi |
Semantic Interoperation Among Data Systems at a Communication Level. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Li Qin, Vijayalakshmi Atluri |
An Ontology-Guided Approach to Change Detection of the Semantic Web Data. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Andrew W. Cooke, Alasdair J. G. Gray, Werner Nutt |
Stream Integration Techniques for Grid Monitoring. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Mohamed Dahchour, Alain Pirotte 0001, Esteban Zimányi |
Generic Relationships in Information Modeling. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Fernando Ferri, Maurizio Rafanelli |
GeoPQL: A Geographical Pictorial Query Language That Resolves Ambiguities in Query Interpretation. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Anastasiya Sotnykova, Christelle Vangenot, Nadine Cullot, Nacéra Bennacer, Marie-Aude Aufaure |
Semantic Mappings in Description Logics for Spatio-temporal Database Schema Integration. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Gilberto Zonta Pastorello Jr., Claudia Bauzer Medeiros, Silvania Maria de Resende, Henrique Aparecido da Rocha |
Interoperability for GIS Document Management in Environmental Planning. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jeffrey Parsons, Yair Wand |
Attribute-Based Semantic Reconciliation of Multiple Data Sources. |
J. Data Semantics |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 36096 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|