Search Sciweavers | Sciweavers

21

GG
2008
Springer

95views Theoretical Computer Science» more GG 2008»

Resolution-Like Theorem Proving for High-Level Conditions

13 years 10 months ago

Download formale-sprachen.informatik.uni-oldenburg.de

The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...

Karl-Heinz Pennemann

claim paper

Read More »

30

click to vote

CHI
2010
ACM

258views Human Computer Interaction» more CHI 2010»

America is like Metamucil: fostering critical and creative thinking about metaphor in political blogs

13 years 9 months ago

Download ericbaumer.com

Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...

Eric P. S. Baumer, Jordan Sinclair, Bill Tomlinson

claim paper

Read More »

19

click to vote

AR
2010

86views more AR 2010»

Impact of Animal-Like Features on Emotion Expression of Robot Head EDDIE

13 years 9 months ago

Download www.lsr.ei.tum.de

This article investigates the influence of animal-like features (ears of a dragon lizard and crown of a cockatoo) and their pose variations on the quality of emotion expression of...

Kolja Kühnlenz, Stefan Sosnowski, Martin Buss

claim paper

Read More »

33

click to vote

AR
2008

143views more AR 2008»

Toward Human-Like Real-Time Manipulation: From Perception to Motion Planning

13 years 9 months ago

Download drjang.kr

Human-like behavior is crucial for intelligent service robots that are to perform versatile tasks in day to day life. In this paper, an integrated approach to human-like manipulat...

Sukhan Lee, Hadi Moradi, Daesik Jang, Han-Young Ja...

claim paper

Read More »

12

click to vote

COLING
2010

113views Computational Linguistics» more COLING 2010»

Broad-Coverage Parsing Using Human-Like Memory Constraints

13 years 9 months ago