368 search results - page 16 / 74 » Calculating an exceptional machine |
IGPL
2000
13 years 7 months ago
2000
The aim of this paper is to investigate the expressibility of classical propositional monomodal logics. To this end, a notion of embedding of one logic into another is introduced,...
JUCS
2011
13 years 2 months ago
2011
: This paper describes a new approach to document classification based on visual features alone. Text-based retrieval systems perform poorly on noisy text. We have conducted serie...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this work we introduce the dual frame operator relative to the aliasing compensated frequency warping operator for nonsmooth warping functions. Except for approximation errors,...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
Learners and knowledge workers are increasingly facing environments where frequent interruptions, multi-tasking, information overload, and insufficient community awareness are the ...
EUROGP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Statistical techniques for designing and analysing experiments are used to evaluate the individual and combined effects of genetic programming parameters. Three binary cl...