497 search results - page 69 / 100 » On combinations of local theory extensions |
127
Voted
PC
2006
15 years 1 months ago
2006
Trees are important datatypes that are often used in representing structured data such as XML. Though trees are widely used in sequential programming, it is hard to write efficien...
114
click to vote
JLP
2010
14 years 8 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
95
Voted
TSP
2010
14 years 8 months ago
2010
We consider the problem of sampling piecewise sinusoidal signals. Classical sampling theory does not enable perfect reconstruction of such signals since they are not bandlimited. ...
106
Voted
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
114
click to vote
COMPGEOM
2009
ACM
15 years 8 months ago
2009
ACM
We study the problem of computing zigzag persistence of a sequence of homology groups and study a particular sequence derived from the levelsets of a real-valued function on a top...