Sciweavers

7988 search results - page 1139 / 1598
» A Useful Undecidable Theory
Sort
View
CLEF
2009
Springer
15 years 4 months ago
Unsupervised Morphological Analysis by Formal Analogy
Abstract. While classical approaches to unsupervised morphology acquisition often rely on metrics based on information theory for identifying morphemes, we describe a novel approac...
Jean-François Lavallée, Philippe Lan...
EUSFLAT
2009
124views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
A toward Framework for Generic Uncertainty Management
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
Ernesto Damiani, Paolo Ceravolo, Marcello Leida
211
Voted
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
219
Voted
HCI
2009
15 years 4 months ago
Social Adaptation of ERP Software: Tagging UI Elements
Abstract. In this paper we present a newly designed annotation and collaboration component, which has been prototypically implemented on top of an ERP (Enterprise Resource Planning...
Marcus Nitsche, Martin Christof Kindsmüller, ...
HCI
2009
15 years 4 months ago
Antecedents of Attributions in an Educational Game for Social Learning: Who's to Blame?
Games are increasingly being used as educational tools, in part because they are presumed to enhance student motivation. We look at student motivation in games from the viewpoint o...
Amy Ogan, Vincent Aleven, Julia Kim, Christopher J...
« Prev « First page 1139 / 1598 Last » Next »