22128 search results - page 487 / 4426 » Research in Structural Computing |
180
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
In this survey paper we describethe combination of: discretized integral formulations, sparsication techniques, and krylov-subspace based model-order reduction that has led to rob...
160
Voted
BIRTHDAY
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
234
click to vote
RTA
1997
Springer
15 years 11 months ago
1997
Springer
In the development of algorithms for finding the minimal solutions of systems of linear Diophantine equations, little use has been made (to our knowledge) of the results by Stanle...
197
click to vote
AIMS
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we present a novel distributed certification system in which signing a certificate needs the collaboration of a fixed ratio of the nodes, hence a varying number of n...
201
Voted
ACL
2010
15 years 5 months ago
2010
Wikipedia articles in different languages are connected by interwiki links that are increasingly being recognized as a valuable source of cross-lingual information. Unfortunately,...