SWiK
» tagged pages
» logout

sorted by: recent | see : popular
Content Tagged with academic + paper

WIKINDX 3

bibtex: del.icio.us/tag/bibtex

custom term paper editing

http://customwritingservices.org/custom-term-paper.php

Research paper writing

http://custom-paper-writing.com/blog/writing-a-research-paper.html

research paper writing

http://custom-paper-writing.com/blog/apa-style-research-paper.html

[from chimezie] The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration

"The result is an expanding family of ontologies designed to be interoperable and logically well formed and to incorporate accurate representations of biological reality. We describe this OBO Foundry initiative and provide guidelines for those who might w

User:jeyrb: del.icio.us/network/jey

[from chimezie] The End of an Architectural Era (It's Time for a Complete Rewrite)

"We conclude that the current RDBMS code lines, while attempting to be a 'one size fits all' solution, in fact, excel at nothing [...] they are 25 year old legacy code lines that should be retired in favor of a collection of 'from scratch' specialized eng

User:jeyrb: del.icio.us/network/jey

[from chimezie] Towards a General Theory of Action and Time

"The primary goal of this paper is to suggest a formalism that is considerably more expressive than current theories of action and to explore its use in defining the meanings of English sentences that describe actions and events."

User:jeyrb: del.icio.us/network/jey

[from chimezie] RDFSync: efficient remote synchronization of RDF models

"In this paper we describe RDFSync, a methodology for efficient synchronization and merging of RDF models. RDFSync is based on decomposing a model into Minimum Self-Contained graphs (MSGs) [..] we show how a RDF model can be represented by a list of hashe

User:jeyrb: del.icio.us/network/jey

[from chimezie] BibSonomy::bibtex::On the Foundations of Computing Deltas between RDF models

"By considering Deltas as sets of change operations, in this paper we study various RDF comparison functions in conjunction with the semantics of the underlying change operations and formally analyze their possible combinations in terms of .."

User:jeyrb: del.icio.us/network/jey

[from chimezie] BibSonomy::bibtex::Logical Foundations of (e)RDF(S): Complexity and Reasoning

"In this paper [..] considering embeddings of RDF and RDFS in logic. Using these embeddings [..] we establish several novel complexity results... Finally, we consider querying RDF graphs and establish the data complexity of conjunctive querying for the va

User:jeyrb: del.icio.us/network/jey

N3Logic: A Logical Framework For the World Wide Web

"[..] a logic that allows rules to be expressed in a Web environment. It extends RDF with syntax for nested graphs and quantified variables and with predicates for implication and accessing resources on the Web, and functions including cryptographic, stri

W3C: Del.icio.us W3C Tags

[from chimezie] N3Logic: A Logical Framework For the World Wide Web

"[..] a logic that allows rules to be expressed in a Web environment. It extends RDF with syntax for nested graphs and quantified variables and with predicates for implication and accessing resources on the Web, and functions including cryptographic, stri

User:jeyrb: del.icio.us/network/jey

[from chimezie] prelim_cfp_iswc2008.pdf (application/pdf Object)

"ISWC brings together researchers in relevant disciplines such as artificial intelligence, databases, social networks, distributed computing, web engineering,information systems, natural language processing, and human-computer interaction." I plan to subm

User:jeyrb: del.icio.us/network/jey

[from chimezie] Knowledge Bus: Generating Application-focused Databases from Large Ontologies

"In this paper we discuss the design of Knowledge Bus, a system which generates information systems - database and programming interfaces - from application-focused subsets of a large ontology (Cyc)"

User:jeyrb: del.icio.us/network/jey

[from chimezie] The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross, Schlipf (ResearchIndex)

"We introduce [..], and define the well-founded semantics of a program to be its ell-founded partial model. If the well-founded partial model is in fact a total model, we call it the well-founded model."

User:jeyrb: del.icio.us/network/jey

[from chimezie] Fads and Fallacies about Logic

"No discussions about logic have been more confused and confusing than the debates about how logic is related to natural languages."

User:jeyrb: del.icio.us/network/jey

[from chimezie] Networked RDF Graphs

Networked graphs are defined in this paper as a small syntactic extension of named graphs in RDF ... By this extension it becomes possible to define a graph including a view onto other graphs and to define the meaning of a set of graphs by the way they re

User:jeyrb: del.icio.us/network/jey

[from chimezie] A Trustworthy, Extensible Theorem Prover (Ph.D. Dissertation Proposal)

"In this thesis, we propose developing a useful, mechanically-veriāŠ˜ed theorem prover." meta-reasoning framework

User:jeyrb: del.icio.us/network/jey

[from chimezie] Using views to generate efficient evaluation plans for queries

"The problem can be stated as follows: given a query on a database schema and a set of views over the same schema, can we answer the query using only the answers to the views?" - Implementation of LP query answering on a relational algebra

User:jeyrb: del.icio.us/network/jey

[from chimezie] Complexity and expressive power of logic programming

"This article surveys various complexity and expressiveness results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog" - Formal Basis for N3/RIF/D

User:jeyrb: del.icio.us/network/jey

[from chimezie] Magic sets and other strange ways to implement logic programs (extended abstract)

... "magic sets," is a general algorithm for rewriting logical rules so that they may be implemented bottom-UP (= forward chaining) in a way that cuts down on the irrelevant facts that are generated. The advantage of this scheme is that by working bot

User:jeyrb: del.icio.us/network/jey

[from chimezie] Comparing OWL Semantics

"We have filled in the details of this sketch proof using the Isabelle/HOL proof assistant, and developed machinery for further study of the formal semantics of OWL." spotted by Dan

User:jeyrb: del.icio.us/network/jey

[from chimezie] E.W.Dijkstra Archive: Towards correct programs (EWD 241)

"The purpose of this paper is to stress what mental aids we have at our disposal in designing and understanding algorithms, to show some patterns of programming that we may hope to apply without losing our intellectual grasp on what we are doing and to st

User:jeyrb: del.icio.us/network/jey

[from chimezie] EWD367.PDF (application/pdf Object)

Edsger W. Dijkstra on a predicate-logic based axiomatic semantics for programing languages

User:jeyrb: del.icio.us/network/jey

[from chimezie] A non-algebraic Example of a Constructive Correctness Proof

EWD on the application of apriori proof to even programs beyond simple boolean algebra and numerical manipulation

User:jeyrb: del.icio.us/network/jey

[from chimezie] A Constructive Approach to the Problemof Program Correctness

An example of Edsger W. Dijkstra's theory on using proofs to write 'bug-free' code. A methodology, I'm considering using FuXi for (since there are no interesting inference problems to solve with it)

User:jeyrb: del.icio.us/network/jey

Collage: A Declarative Programming Model for Compositional Development and Evolution of Cross-Organizational Applications

XForms: del.icio.us/tag/XForms

Collage: A Declarative Programming Model for Compositional Development and Evolution of Cross-Organizational Applications

XML: del.icio.us/tag/xml

[from chimezie] Collage: A Declarative Programming Model for Compositional Development and Evolution of Cross-Organizational Applications

User:jeyrb: del.icio.us/network/jey

[from chimezie] An Optimization Algorithm for Production Systems

User:jeyrb: del.icio.us/network/jey

How to write a good research paper and give a good research talk

Haskell: del.icio.us tag/haskell

How to write a good research paper and give a good research talk

Haskell: del.icio.us tag/haskell

[from chimezie] A Realistic Architecture for the Semantic Web

"In particular, we argue that there is a very important class of rule-based languages, with over thirty years of history and experience, which cannot be layered on top of OWL and must be included in the Semantic Web architecture alongside with the stack o

User:jeyrb: del.icio.us/network/jey

DBLP Bibliography

bibtex: del.icio.us/tag/bibtex

[from chimezie] A Hypertableau Calculus for SHIQ

"To the best of our knowledge, our reasoner is currently the only one that can classify the original version of the GALEN terminology." Impressive

User:jeyrb: del.icio.us/network/jey

[from chimezie] Getting Started on Natural Language Processing with Python

"However, rather than just describing the salient concepts of NLP, this article uses the Python programming language to illustrate them as well." NLP via python.

User:jeyrb: del.icio.us/network/jey

Page 1 | Next >>