110 search results - page 8 / 22 » Interpolation in Local Theory Extensions |
90
Voted
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we introduce a numerical procedure for performing dynamic data driven simulations (DDDAS). The main ingredient of our simulation is the multiscale interpola...
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
75
Voted
ICFP
2005
ACM
16 years 9 days ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
JCB
2007
15 years 7 days ago
2007
Analysis of biopolymer sequences and structures generally adopts one of two approaches: use of detailed biophysical theoretical models of the system with experimentally-determined...
118
Voted
TCC
2004
Springer
15 years 5 months ago
2004
Springer
We consider the problem of threshold secret sharing in groups with hierarchical structure. In such settings, the secret is shared among a group of participants that is partitioned ...