2016 search results - page 237 / 404 » Megamaps: Construction and Examples |
201
click to vote
OTM
2007
Springer
16 years 24 days ago
2007
Springer
: Two major problems in constructing data federations (for example, data warehouses and database federations) concern achieving and maintaining consistency and a uniform representa...
171
click to vote
AUIC
2006
IEEE
16 years 22 days ago
2006
IEEE
User interfaces as well as documents use tabular layout mechanisms. The HTML table construct and the GridBag layout in Java are typical examples. There are, however, shortcomings ...
146
click to vote
SP
2005
IEEE
16 years 7 days ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
155
Voted
CIE
2005
Springer
16 years 6 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
215
click to vote
FSTTCS
2005
Springer
16 years 5 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...