3597 search results - page 625 / 720 » Model-theoretic semantics for the web |
ESOP
2005
Springer
14 years 3 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
ISMIR
2005
Springer
14 years 3 months ago
2005
Springer
We present an approach to automatically retrieve and extract lyrics of arbitrary songs from the Internet. It is intended to provide easy and convenient access to lyrics for users,...
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
TABLEAUX
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
WEBDB
2005
Springer
14 years 3 months ago
2005
Springer
Current peer-to-peer (p2p) full-text keyword search techniques fall into the following categories: document-based partitioning, keyword-based partitioning, hybrid indexing, and se...