Results 1 to 10 of about 44,627 (154)
Leveraging Qualitative Reasoning to Improve SFL [PDF]
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018 Spectrum-based fault localization (SFL) correlates a system's components with observed failures. By reasoning about coverage, SFL allows for a lightweight way of pinpointing faults. This abstraction comes at the cost of missing certain faults, such as errors of omission, and failing to provide enough contextual information to explain why components are
Alexandre Perez, Rui Abreu 0001
openaire +1 more source
SFL approaches to language dynamics and contrast [PDF]
Lingua, 2021 In the introduction to this special issue we consider the dynamics of language from three interrelated perspectives: ontogenesis, or the development of the language system in the individual; logogenesis, or the development of meanings across texts and discourses; and phylogenesis, or the changes to individual language systems over time.
Elorza, Izaskun +2 more
openaire +2 more sources
Riding the waves of policy? The case of basic skills in adult and community learning in England [PDF]
, 2007 This paper draws on data from secondary sources and in-depth interviews to explore the question: What is the impact of policy on teaching, learning, assessment and inclusion in Adult and Community Learning (ACL) Skills for Life (SfL) provision?
Edward, Sheila +2 more
core +2 more sources
The Spatially Resolved Star Formation Law from Integral Field Spectroscopy: VIRUS-P Observations of NGC 5194 [PDF]
, 2009 We investigate the relation between the star formation rate surface density (Sigma_SFR) and the mass surface density of gas (Sigma_gas) in NGC 5194. VIRUS-P integral field spectroscopy is used to measure H-alpha, H-beta [NII]6548,6584, and [SII]6717,6731
Allende Prieto +46 more
core +2 more sources
Aid for self help effort? A sustainable alternative route to basic education in Northern Ghana [PDF]
, 2004 Northern Ghana presents an interesting case of the limitations of the conventional school system in reaching underserved and deprived populations with basic education.
Akyeampong, Kwame
core +2 more sources
Enhanced sharing analysis techniques: a comprehensive evaluation [PDF]
, 2004 Sharing, an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of techniques, such as the integration of Sharing with freeness and ...
Bagnara, R., Hill, P.M., Zeffanella, E.
core +4 more sources
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages [PDF]
, 2001 It is well known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of logic programs to be improved. In this paper, we present a novel combination
Bagnara, R., Hill, P.M., Zaffanella, E.
core +10 more sources
Modelling interfaces with context in SFL
Functions of Language, 2021 Abstract This is a study of the tools for describing language-in-context in Systemic Functional Linguistics (SFL), and specifically, the way in which dynamic time can be added to this description. Of central importance in this exploration are the concepts of stratification and instantiation and their interaction, and the way in which this
openaire +2 more sources
The Complexity of Reasoning for Fragments of Autoepistemic Logic [PDF]
, 2010 Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore 1985 for modeling an ideally rational agent's behavior and reasoning about his own ...
Creignou, Nadia +3 more
core +2 more sources
Continuous melting of compact polymers [PDF]
, 2004 The competition between chain entropy and bending rigidity in compact polymers can be addressed within a lattice model introduced by P.J. Flory in 1956.
B. Nienhuis +11 more
core +3 more sources