3994 search results - page 562 / 799 » A Linear Logical Framework |
200
click to vote
ICIAR
2005
Springer
16 years 21 days ago
2005
Springer
This paper proposes an iterative methodology for real-time robust mosaic topology inference. It tackles the problem of optimal feature selection (optimal sampling) for global estim...
199
click to vote
IFIP
2005
Springer
16 years 21 days ago
2005
Springer
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...
151
click to vote
PKDD
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. The paper presents an example of exploratory data analysis of climate measurements using a recently developed denoising source separation (DSS) framework. We analysed a c...
195
click to vote
SAS
2005
Springer
16 years 20 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
193
click to vote
WABI
2005
Springer
16 years 20 days ago
2005
Springer
—We propose new algorithms for computing pairwise rearrangement scenarios that conserve the combinatorial structure of genomes. More precisely, we investigate the problem of sort...