Sciweavers

4324 search results - page 52 / 865
» A Generalized Representer Theorem
Sort
View
87
Voted
CDC
2008
IEEE
15 years 7 months ago
Strong solutions and maximal solutions of generalized algebraic Riccati equations
— In this paper, we present a comparison theorem for the solutions of two generalized algebraic Riccati equations (GAREs) coming from two different systems. We show that the so-c...
Xin Xin
RTA
2005
Springer
15 years 6 months ago
Natural Narrowing for General Term Rewriting Systems
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
Santiago Escobar, José Meseguer, Prasanna T...
101
Voted
JMLR
2008
83views more  JMLR 2008»
15 years 22 days ago
Generalization from Observed to Unobserved Features by Clustering
We argue that when objects are characterized by many attributes, clustering them on the basis of a random subset of these attributes can capture information on the unobserved attr...
Eyal Krupka, Naftali Tishby
CORR
2010
Springer
84views Education» more  CORR 2010»
14 years 10 months ago
Termination Casts: A Flexible Approach to Termination with General Recursion
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
Aaron Stump, Vilhelm Sjöberg, Stephanie Weiri...
88
Voted
JSYML
2010
60views more  JSYML 2010»
14 years 7 months ago
Generalizations of small profinite structures
We generalize the model theory of small profinite structures developed by Newelski to the case of compact metric spaces considered together with compact groups of homeomorphisms a...
Krzysztof Krupinski