Sciweavers

4324 search results - page 256 / 865
» A Generalized Representer Theorem
Sort
View
EMSOFT
2005
Springer
16 years 4 days ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ESOP
2005
Springer
16 years 4 days ago
Interprocedural Herbrand Equalities
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
Markus Müller-Olm, Helmut Seidl, Bernhard Ste...
ICALP
2005
Springer
16 years 4 days ago
Weighted Automata and Weighted Logics
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
Manfred Droste, Paul Gastin
PPSWR
2005
Springer
16 years 3 days ago
Descriptive Typing Rules for Xcerpt
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
Sacha Berger, Emmanuel Coquery, Wlodzimierz Draben...
SCALESPACE
2005
Springer
16 years 3 days ago
Scale-Space Generation via Uncertainty Principles
This study is concerned with the uncertainty principles which are related to the Weyl-Heisenberg, the SIM(2) and the Affine groups. A general theorem which associates an uncertaint...
Chen Sagiv, Nir A. Sochen, Yehoshua Y. Zeevi