Sciweavers

3605 search results - page 177 / 721
» Associated types with class
Sort
View
CDC
2010
IEEE
147views Control Systems» more  CDC 2010»
14 years 11 months ago
Estimation of general nonlinear state-space systems
This paper presents a novel approach to the estimation of a general class of dynamic nonlinear system models. The main contribution is the use of a tool from mathematical statistic...
Brett Ninness, Adrian Wills, Thomas B. Schön
FFA
2011
104views more  FFA 2011»
14 years 11 months ago
Zeta functions of equivalence relations over finite fields
ABSTRACT. We prove the rationality of the generating function associated to the number of equivalence classes of Fqk -points of a constructible equivalence relation defined over t...
Tibor Beke
POPL
2010
ACM
16 years 1 months ago
Pure Subtype Systems
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
DeLesley S. Hutchins
IJCAI
2007
15 years 5 months ago
Mechanism Design with Partial Revelation
Classic direct mechanisms require full type (or utility) revelation from participating agents, something that can be very difficult in practical multi-attribute settings. In this...
Nathanael Hyafil, Craig Boutilier
JUCS
2010
115views more  JUCS 2010»
14 years 10 months ago
Redundant Relations in Relational Databases: A Model Theoretic Perspective
: We initiate in this work the study of a sort of redundancy problem revealed by what we call redundant relations. Roughly, we define a redundant relation in a database instance (d...
Flavio Antonio Ferrarotti, Alejandra Lorena Paolet...