Sciweavers

11739 search results - page 219 / 2348
» Slideshow: functional presentations
Sort
View
JAIR
2000
152views more  JAIR 2000»
15 years 4 months ago
Value-Function Approximations for Partially Observable Markov Decision Processes
Partially observable Markov decision processes (POMDPs) provide an elegant mathematical framework for modeling complex decision and planning problems in stochastic domains in whic...
Milos Hauskrecht
142
Voted
AAI
1999
91views more  AAI 1999»
15 years 4 months ago
Multilingual Natural Language Generation for Multilingual Software: A Functional Linguistic Approach
In this paper we present an implemented account of multilingual linguistic resources for multilingual text generation that improves significantly on the degree of re-use of resour...
John A. Bateman, Christian Matthiessen, Licheng Ze...
ML
2007
ACM
144views Machine Learning» more  ML 2007»
15 years 4 months ago
Invariant kernel functions for pattern analysis and machine learning
In many learning problems prior knowledge about pattern variations can be formalized and beneficially incorporated into the analysis system. The corresponding notion of invarianc...
Bernard Haasdonk, Hans Burkhardt
149
Voted
FM
1994
Springer
135views Formal Methods» more  FM 1994»
15 years 9 months ago
Adding Real Time to Formal Program Development
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
Colin J. Fidge
136
Voted
CDC
2010
IEEE
103views Control Systems» more  CDC 2010»
15 years 6 hour ago
Integrator forwarding via dynamic scaling
The problem of integrator forwarding is revisited using the notion of dynamically scaled (control) Lyapunov function. A new class of dynamic stabilizing control laws is presented, ...
Laurent Praly, Daniele Carnevale, Alessandro Astol...