4325 search results - page 280 / 865 » Incremental computation with names |
151
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a novel method for feature extraction and recognition, namely, Complete Fuzzy LDA (CFLDA). CFLDA combines the complete LDA and fuzzy set theory. CFLDA re...
204
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a recognition system for isolated handwritten Bangla words, with a fixed lexicon, using a left-right Hidden Markov Model (HMM). A stochastic search method, nam...
177
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
In [7] we have proposed a model for the robust and private evaluation of a function within a group of cooperating mobile agents, called an agent Alliance. The model has been given...
174
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
194
click to vote
STACS
2007
Springer
16 years 24 days ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...