11455 search results - page 2048 / 2291 » The Rayset and Its Applications |
159
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
164
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
240
click to vote
ITP
2010
15 years 8 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
169
click to vote
CIARP
2008
Springer
15 years 8 months ago
2008
Springer
The concept of elongation is generally well understood. However, there is no clear, precise, mathematical definition of elongation in any dictionary we could find. We propose that ...
284
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
An N-gram language model aims at capturing statistical word order dependency information from corpora. Although the concept of language models has been applied extensively to handl...