Sciweavers

3504 search results - page 172 / 701
» Computational Aspects of Equilibria
Sort
View
LACL
1998
Springer
15 years 11 months ago
Deductions with Meaning
In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity...
Christof Monz, Maarten de Rijke
BIRTHDAY
2006
Springer
15 years 10 months ago
Composition by Colimit and Formal Software Development
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
Douglas R. Smith
ACMDIS
2008
ACM
15 years 9 months ago
Objects of wonderment
While we should celebrate our success at evolving many vital aspects of the human-technology interactive experience, we question the scope of this progress. Step back with us for ...
Eric Paulos, Tom Jenkins, August Joki, Parul Vora
CSE
2008
IEEE
15 years 8 months ago
Energy Efficient Broadcast in Distributed Ad Hoc Wireless Networks
In this work we present algorithms for Minimum Energy Consumption Broadcast Subgraph (MECBS) problem. First, we focus on designing distributed algorithms for MECBS. To our knowled...
Subhas Kumar Ghosh
ACL
2010
15 years 5 months ago
Compositional Matrix-Space Models of Language
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
Sebastian Rudolph, Eugenie Giesbrecht