Sciweavers

3408 search results - page 384 / 682
» Logic, language, information and computation
Sort
View
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 8 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson
ACL
1992
15 years 8 months ago
Monotonic Semantic Interpretation
Aspects of semantic interpretation, such as quantifier scoping and reference resolution, are often realised computationally by non-monotonic operations involving loss of informati...
Hiyan Alshawi, Richard S. Crouch
SCL
2010
114views more  SCL 2010»
15 years 1 months ago
Input-state incidence matrix of Boolean control networks and its applications
The input-state incidence matrix of control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state mapping. Using it, an easily...
Yin Zhao, Hongsheng Qi, Daizhan Cheng
CHI
2009
ACM
16 years 7 months ago
Do HCI and NLP interact?
We examine the relationship between HCI and Natural Language Processing (NLP) by performing a bibliometric analysis and looking at the specific example of BioNLP. We identify oppo...
Nikiforos Karamanis, Anne Schneider, Ielka van der...
CHI
2010
ACM
15 years 4 months ago
The tower of Babel meets web 2.0: user-generated content and its applications in a multilingual context
This study explores language's fragmenting effect on usergenerated content by examining the diversity of knowledge representations across 25 different Wikipedia language edit...
Brent Hecht, Darren Gergle