Sciweavers

1712 search results - page 147 / 343
» A Computational Approach to Binding Theory
Sort
View
SEMCO
2009
IEEE
15 years 8 months ago
Understanding Implicit Entities and Events with Getaruns
- Semantic processing represents the new challenge for all applications that require text understanding, as for instance Q/A. In this paper we will highlight the need to couple sta...
Rodolfo Delmonte
123
Voted
ACMACE
2005
ACM
15 years 7 months ago
Motivation-driven educational game design: applying best practices to music education
Building upon research on motivation theory, we provide insights on how video games can be framed as expert tools that naturally reconcile learning and fun, a worthy goal since st...
Guillaume Denis, Pierre Jouvelot
COMPGEOM
2010
ACM
15 years 6 months ago
Adding one edge to planar graphs makes crossing number hard
A graph is near-planar if it can be obtained from a planar graph by adding an edge. We show that it is NP-hard to compute the crossing number of near-planar graphs. The main idea ...
Sergio Cabello, Bojan Mohar
CHI
2006
ACM
16 years 2 months ago
The sensual evaluation instrument: developing an affective evaluation tool
In this paper we describe the development and initial testing of a tool for self-assessment of affect while interacting with computer systems: the Sensual Evaluation Instrument. W...
Jarmo Laaksolahti, Katherine Isbister, Kristina H&...
103
Voted
BIRTHDAY
2007
Springer
15 years 8 months ago
Superdeduction at Work
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...
Paul Brauner, Clément Houtmann, Claude Kirc...