1102 search results - page 101 / 221 » Generalizing Updates: From Models to Programs |
111
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
DOCENG
2004
ACM
15 years 6 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
93
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
—The aim of this paper is to enable a programmer to easily employ external sensors for flexible robot manipulation. We describe a general approach to determine the relation betwe...
126
Voted
CODES
2008
IEEE
15 years 2 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
93
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the evaluation of a Scrutable User Modelling Infrastructure. SUMI is intended to form a service to allow users to share their user models from social e-network...