Sciweavers

5234 search results - page 524 / 1047
» Method Components - Rationale Revealed
Sort
View
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 4 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
CRYPTO
2010
Springer
170views Cryptology» more  CRYPTO 2010»
15 years 3 months ago
Securing Computation against Continuous Leakage
We present a general method to compile any cryptographic algorithm into one which resists side channel attacks of the only computation leaks information variety for an unbounded nu...
Shafi Goldwasser, Guy N. Rothblum
NA
2010
124views more  NA 2010»
15 years 1 months ago
An efficient unified approach for the numerical solution of delay differential equations
In this paper we propose a new framework for designing a delay differential equation (DDE) solver which works with any supplied initial value problem (IVP) solver that is based on...
Hossein ZivariPiran, Wayne H. Enright
ICDAR
2011
IEEE
14 years 6 months ago
Functional-Based Table Category Identification in Digital Library
– Better understanding the document logical components is crucial to many applications, e.g., document classification or data integration. As the development of digital libraries...
Seongchan Kim, Ying Liu
JMLR
2012
13 years 9 months ago
Approximate Inference in Additive Factorial HMMs with Application to Energy Disaggregation
This paper considers additive factorial hidden Markov models, an extension to HMMs where the state factors into multiple independent chains, and the output is an additive function...
J. Zico Kolter, Tommi Jaakkola