7121 search results - page 408 / 1425 » Modeling Signs Using Functional Data Analysis |
197
Voted
WADT
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
195
Voted
TCAD
2010
15 years 2 months ago
2010
PSP and the backward propagation of variance (BPV) method are used to characterize the statistical variations of metal-oxide-semiconductor field effect transistors (MOSFETs). BPV s...
208
click to vote
MICCAI
2003
Springer
16 years 8 months ago
2003
Springer
Abstract. This paper proposes a statistical model of functional landmarks delimiting low level visual areas which are highly variable across individuals. Low level visual areas are...
186
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
In this work we present the design principles of a wearable positioning system for users in unprepared indoor environments. We describe the most suitable technology for our applica...
195
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Secure multiparty computation allows parties to jointly compute a function of their private inputs without revealing anything but the output. Theoretical results [2] provide a gen...