4752 search results - page 284 / 951 » From computation models to models of provenance: the RWS app... |
182
click to vote
SACRYPT
2004
Springer
16 years 3 days ago
2004
Springer
A general method to secure cryptographic algorithm implementations against side-channel attacks is the use of randomization techniques and, in particular, masking. Roughly speaking...
178
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...
124
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
: In this paper we address the problem of detecting and isolating faults from noisy input/output measurements of a MIMO uncertain–system, subject to structured dynamic uncertaint...
155
Voted
TMI
2002
15 years 6 months ago
2002
An automatic cortical gray matter segmentation from a three-dimensional (3-D) brain images [magnetic resonance (MR) or computed tomography] is a well known problem in medical image...
155
Voted
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the modeling of the high-level design of a next generation network switch from the perspective of a ComputerAided Design (CAD) team within the larger context of a desig...