6978 search results - page 1173 / 1396 » On Proofs in System P |
186
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
137
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— The parabigeminal nucleus (PBN) is known to estimate the retinal position error (RPE) of an intended target. Recently it has been discovered that PBN activity continues to enco...
181
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Authorship attribution is used to determine the creator of works among many candidates, playing a vital role in software forensics, authorship disputes and academic integrity inve...
158
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Field-programmable gate arrays are well-suited to DSP and digital communications applications. SRAM-based FPGAs, however, are susceptible to radiation-induced single-event upsets ...
164
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...