Sciweavers

222 search results - page 34 / 45
» Representing dialogic argumentation
Sort
View
JOCN
2010
62views more  JOCN 2010»
13 years 7 months ago
Electrophysiological Correlates of Complement Coercion
■ This study examined the electrophysiological correlates of complement coercion. ERPs were measured as participants read and made acceptability judgments about plausible coerce...
Gina R. Kuperberg, Arim Choi, Neil Cohn, Martin Pa...
SIGSOFT
2005
ACM
14 years 9 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
POPL
2010
ACM
14 years 5 months ago
Nominal System T
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
Andrew M. Pitts
DASFAA
2010
IEEE
166views Database» more  DASFAA 2010»
14 years 3 months ago
The Objects Interaction Matrix for Modeling Cardinal Directions in Spatial Databases
Abstract. Besides topological relations and approximate relations, cardinal directions have turned out to be an important class of qualitative spatial relations. In spatial databas...
Tao Chen, Markus Schneider, Ganesh Viswanathan, We...
CHI
2010
ACM
14 years 3 months ago
The generalized perceived input point model and how to double touch accuracy by extracting fingerprints
It is generally assumed that touch input cannot be accurate because of the fat finger problem, i.e., the softness of the fingertip combined with the occlusion of the target by the...
Christian Holz, Patrick Baudisch