3001 search results - page 374 / 601 » Recursive type generativity |
207
click to vote
TIT
2010
15 years 1 months ago
2010
Abstract-- The problem of universal simulation given a training sequence is studied both in a stochastic setting and for individual sequences. In the stochastic setting, the traini...
324
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
168
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Integer lapped orthogonal transforms (LOTs) are vital technologies for the unification of lossless and lossy image coding, called losslessto-lossy image coding. In this paper, we...
195
click to vote
DIMVA
2011
14 years 10 months ago
2011
To access automated voice services, Voice over IP (VoIP) users sometimes are required to provide their Personal Identification Numbers (PIN) for authentication. Therefore when the...
191
click to vote
DLOG
2011
14 years 10 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...