156,938 research outputs found
An Efficient Distribution of Labor in a Two Stage Robust Interpretation Process
Although Minimum Distance Parsing (MDP) offers a theoretically attractive
solution to the problem of extragrammaticality, it is often computationally
infeasible in large scale practical applications. In this paper we present an
alternative approach where the labor is distributed between a more restrictive
partial parser and a repair module. Though two stage approaches have grown in
popularity in recent years because of their efficiency, they have done so at
the cost of requiring hand coded repair heuristics. In contrast, our two stage
approach does not require any hand coded knowledge sources dedicated to repair,
thus making it possible to achieve a similar run time advantage over MDP
without losing the quality of domain independence.Comment: 9 pages, 1 Postscript figure, uses aclap.sty and psfig.tex, In
Proceedings of EMNLP 199
The Design of the Fifth Answer Set Programming Competition
Answer Set Programming (ASP) is a well-established paradigm of declarative
programming that has been developed in the field of logic programming and
nonmonotonic reasoning. Advances in ASP solving technology are customarily
assessed in competition events, as it happens for other closely-related
problem-solving technologies like SAT/SMT, QBF, Planning and Scheduling. ASP
Competitions are (usually) biennial events; however, the Fifth ASP Competition
departs from tradition, in order to join the FLoC Olympic Games at the Vienna
Summer of Logic 2014, which is expected to be the largest event in the history
of logic. This edition of the ASP Competition series is jointly organized by
the University of Calabria (Italy), the Aalto University (Finland), and the
University of Genova (Italy), and is affiliated with the 30th International
Conference on Logic Programming (ICLP 2014). It features a completely
re-designed setup, with novelties involving the design of tracks, the scoring
schema, and the adherence to a fixed modeling language in order to push the
adoption of the ASP-Core-2 standard. Benchmark domains are taken from past
editions, and best system packages submitted in 2013 are compared with new
versions and solvers.
To appear in Theory and Practice of Logic Programming (TPLP).Comment: 10 page
Barry Smith an sich
Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf LĂŒthe, Luc Schneider, Peter Simons, Wojciech Ć»eĆaniec, and Jan WoleĆski
Focal Spot, Summer 1987
https://digitalcommons.wustl.edu/focal_spot_archives/1046/thumbnail.jp
Learning morphological phenomena of Modern Greek an exploratory approach
This paper presents a computational model for the description of concatenative morphological phenomena of modern Greek (such as inflection, derivation and compounding) to allow learners, trainers and developers to explore linguistic processes through their own constructions in an interactive openâended multimedia environment. The proposed model introduces a new language metaphor, the âpuzzleâmetaphorâ (similar to the existing âturtleâmetaphorâ for concepts from mathematics and physics), based on a visualized unificationâlike mechanism for pattern matching. The computational implementation of the model can be used for creating environments for learning through design and learning by teaching
The Dafny Integrated Development Environment
In recent years, program verifiers and interactive theorem provers have
become more powerful and more suitable for verifying large programs or proofs.
This has demonstrated the need for improving the user experience of these tools
to increase productivity and to make them more accessible to non-experts. This
paper presents an integrated development environment for Dafny-a programming
language, verifier, and proof assistant-that addresses issues present in most
state-of-the-art verifiers: low responsiveness and lack of support for
understanding non-obvious verification failures. The paper demonstrates several
new features that move the state-of-the-art closer towards a verification
environment that can provide verification feedback as the user types and can
present more helpful information about the program or failed verifications in a
demand-driven and unobtrusive way.Comment: In Proceedings F-IDE 2014, arXiv:1404.578
Producing space, producing China : a critical intervention
The concepts of the production and representation of space and place are receiving an increasing amount of attention in both the humanities and the social sciences. This paper will use the theoretical knowledge that has and continues to be produced on the subject to come
to a better understanding of the spatial origins that constitute the place that is Chinese nation
state. The analysis of spatial practises should shed light on the question what China is and wherefrom it receives the legitimacy for its social-spatial integrity.
It will be argued that the arrival of modernity and its universal measurement of time and space were essential components in the gradual transformation from ethnocentric place to a territorially defined nation state. The political production and organisation of space employed for the formation of the nation state is argued to be the consequence of the same (globalising) logic that is now said to question and undermine its territorial integrity.
Modernity and globalisation are in this paper, in other words, considered to be similar, if not identical, spatial-temporal concepts that both help to create and destruct places. This is arguably best visible in the constant production and reproduction of the most sophisticated of spatial organisations: our cities. I will argue that despite the changing face of cities, of which the disputed contemporary "globalisation" is but one of many, the spatial reality that is the modern nation state remains the same. This is not to return to an orthodox realist interpretation but to understand the very "stuff" that space and place are made of
- âŠ