1991 search results - page 179 / 399 » Small Models of Large Machines |
183
click to vote
ICONIP
2007
15 years 8 months ago
2007
Variational methods for approximate inference in machine learning often adapt a parametric probability distribution to optimize a given objective function. This view is especially ...
141
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
In this paper, the complex-step method is applied in the setting of numerical optimisation problems involving dynamical systems modelled as nonlinear differential equations. The m...
136
click to vote
FLAIRS
2000
15 years 7 months ago
2000
Thispaper describesAPE(the Atlas PlanningEngine),the reactive planner at the center of the Atlas dialogue managementsystem. The goal of Atlas is to build conversation-basedsystems...
144
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
155
click to vote
SIGOPSE
2004
ACM
15 years 12 months ago
2004
ACM
Implementing an extension of a legacy operating system requires knowing what functionalities the extension should provide and how the extension should be integrated with the legac...