Sciweavers

523 search results - page 57 / 105
» Hierarchical Distributed Representations for Statistical Lan...
Sort
View
ATAL
2005
Springer
14 years 2 months ago
A scalable approach to multi-agent resource acquisition and control
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
Nadeem Jamali, Xinghui Zhao
ACL
1997
13 years 10 months ago
A Model of Lexical Attraction and Repulsion
This paper introduces new methods based on exponential families for modeling the correlations between words in text and speech. While previous work assumed the effects of word co-...
Doug Beeferman, Adam L. Berger, John D. Lafferty
JAIS
2002
120views more  JAIS 2002»
13 years 8 months ago
Information Exchange Between Humanitarian Organizations: Using the XML Schema IDML
This article explains challenges that arise when humanitarian organizations want to coordinate their development activities by means of distributed information systems. It focuses...
Stefan Hüsemann
CADE
2007
Springer
14 years 9 months ago
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
Andrei Voronkov, Juan Antonio Navarro Pérez
EUROCRYPT
1999
Springer
14 years 1 months ago
An Analysis of Exponentiation Based on Formal Languages
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...
Luke O'Connor