Sciweavers

1754 search results - page 146 / 351
» What's new in informatics
Sort
View
AAAI
2007
13 years 11 months ago
A Logical Theory of Coordination and Joint Ability
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...
CSL
2008
Springer
13 years 11 months ago
Syntactic Metatheory of Higher-Order Subtyping
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
Andreas Abel, Dulma Rodriguez
EACL
2010
ACL Anthology
13 years 10 months ago
Towards Empirical Evaluation of Affective Tactical NLG
One major aim of research in affective natural language generation is to be able to use language intelligently to induce effects on the emotions of the reader/ hearer. Although va...
Ielka van der Sluis, Chris Mellish
ESANN
2008
13 years 10 months ago
Pruning and Regularisation in Reservoir Computing: a First Insight
Reservoir Computing is a new paradigm for using Recurrent Neural Networks which shows promising results. However, as the recurrent part is created randomly, it typically needs to b...
Xavier Dutoit, Benjamin Schrauwen, Jan M. Van Camp...
IADIS
2008
13 years 10 months ago
Towards Simple Interaction In The Classroom: An Nfc Approach
In a given environment, distributing different devices with computing capabilities around us opens up new possibilities. It allows simple and easy interaction between user and com...
Salvador W. Nava, Gabriel Chavira, Ramón He...