Sciweavers

1792 search results - page 96 / 359
» What Are We Arguing About
Sort
View
LREC
2008
132views Education» more  LREC 2008»
13 years 11 months ago
Finding the Sources and Targets of Subjective Expressions
As many popular text genres such as blogs or news contain opinions by multiple sources and about multiple targets, finding the sources and targets of subjective expressions become...
Josef Ruppenhofer, Swapna Somasundaran, Janyce Wie...
COMPUTER
2008
92views more  COMPUTER 2008»
13 years 10 months ago
Can Programming Be Liberated, Period?
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...
David Harel
SLOGICA
2010
97views more  SLOGICA 2010»
13 years 8 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher
FSEN
2009
Springer
14 years 4 months ago
Equational Reasoning on Ad Hoc Networks
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
KES
2005
Springer
14 years 3 months ago
Analysis of Conversation Quanta for Conversational Knowledge Circulation
: In this paper, we present a computational approach to understanding and augmenting the conversational knowledge process. We introduce the concept of the conversation quantization...
Ken Saito, Hidekazu Kubota, Yasuyuki Sumi, Toyoaki...