Sciweavers

1522 search results - page 224 / 305
» Control-Driven Tasks: Modeling and Analysis
Sort
View
ASIAN
2009
Springer
274views Algorithms» more  ASIAN 2009»
13 years 10 months ago
Reducing Equational Theories for the Decision of Static Equivalence
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...
Steve Kremer, Antoine Mercier 0002, Ralf Treinen
BC
2006
105views more  BC 2006»
13 years 9 months ago
A stochastic population approach to the problem of stable recruitment hierarchies in spiking neural networks
Recruitment learning in hierarchies is an inherently unstable process (Valiant, 1994). This paper presents conditions on parameters for a feedforward network to ensure stable recru...
Cengiz Günay, Anthony S. Maida
SIGIR
2008
ACM
13 years 8 months ago
Personal vs non-personal blogs: initial classification experiments
We address the task of separating personal from non-personal blogs, and report on a set of baseline experiments where we compare the performance on a small set of features across ...
Erik Elgersma, Maarten de Rijke
COLING
2002
13 years 8 months ago
A Maximum Entropy-based Word Sense Disambiguation System
In this paper, a supervised learning system of word sense disambiguation is presented. It is based on conditional maximum entropy models. This system acquires the linguistic knowl...
Armando Suárez, Manuel Palomar
COLING
2010
13 years 3 months ago
An Exploration of Features for Recognizing Word Emotion
Emotion words have been well used as the most obvious choice as feature in the task of textual emotion recognition and automatic emotion lexicon construction. In this work, we exp...
Changqin Quan, Fuji Ren