Sciweavers

7121 search results - page 1274 / 1425
» Modeling Signs Using Functional Data Analysis
Sort
View
POPL
1990
ACM
15 years 5 months ago
Higher-Order Modules and the Phase Distinction
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
Robert Harper, John C. Mitchell, Eugenio Moggi
SCL
2008
130views more  SCL 2008»
15 years 1 months ago
Exponential stability of impulsive systems with application to uncertain sampled-data systems
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
Payam Naghshtabrizi, João P. Hespanha, Andr...
TSP
2008
91views more  TSP 2008»
15 years 1 months ago
On Optimal Perfect Reconstruction Feedback Quantizers
Abstract-- This paper presents novel results on Perfect Reconstruction Feedback Quantizers (PRFQs), i.e., noise-shaping, predictive and sigma-delta A/D converters whose signal tran...
Milan S. Derpich, Eduardo I. Silva, Daniel E. Quev...
AI
2000
Springer
15 years 1 months ago
Stochastic dynamic programming with factored representations
Markov decisionprocesses(MDPs) haveproven to be popular models for decision-theoretic planning, but standard dynamic programming algorithms for solving MDPs rely on explicit, stat...
Craig Boutilier, Richard Dearden, Moisés Go...
BMCBI
2002
81views more  BMCBI 2002»
15 years 1 months ago
Species-specific protein sequence and fold optimizations
Background: An organism's ability to adapt to its particular environmental niche is of fundamental importance to its survival and proliferation. In the largest study of its k...
Michel Dumontier, Katerina Michalickova, Christoph...
« Prev « First page 1274 / 1425 Last » Next »