Sciweavers

21342 search results - page 273 / 4269
» Structured language modeling
Sort
View
ESWS
2007
Springer
15 years 10 months ago
A Unified Approach to Retrieving Web Documents and Semantic Web Data
The Semantic Web seems to be evolving into a property-linked web of RDF data, conceptually divorced from (but physically housed in) the hyperlinked web of HTML documents. We discus...
Trivikram Immaneni, Krishnaprasad Thirunarayan
154
Voted
SBMF
2010
Springer
149views Formal Methods» more  SBMF 2010»
14 years 11 months ago
Reasoning about Assignments in Recursive Data Structures
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
Alejandro Tamalet, Ken Madlener
155
Voted
BIRTHDAY
2000
Springer
15 years 8 months ago
Pict: a programming language based on the Pi-Calculus
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
Benjamin C. Pierce, David N. Turner
INLG
2004
Springer
15 years 9 months ago
A Corpus-Based Methodology for Evaluating Metrics of Coherence for Text Structuring
This paper presents a novel corpus-based methodology for comparing metrics of coherence with respect to their potential usefulness for text structuring. Different definitions of ...
Nikiforos Karamanis, Chris Mellish, Jon Oberlander...