3820 search results - page 273 / 764 » Bounded Model Debugging |
116
click to vote
AUTOMATICA
2008
15 years 3 months ago
2008
This paper is concerned with nonuniform sampling systems, where the sampling interval is time-varying within a certain known bound. The system is transformed into a time-varying d...
103
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
136
click to vote
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
In the context of modelling cryptographic tools like blind signatures and homomorphic encryption, the DolevYao model is typically extended with an operator over which encryption i...
153
click to vote
AMC
2011
14 years 11 months ago
2011
In this article we present the first results on domain decomposition methods for nonlocal operators. We present a nonlocal variational formulation for these operators and establi...
170
click to vote
TNN
2010
14 years 10 months ago
2010
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...