26151 search results - page 106 / 5231 » Parameterized system design |
181
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— In this paper, we present a new hierarchical optimization solution to the graph-based simultaneous localization and mapping (SLAM) problem. During online mapping, the a...
194
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
We present a novel approach to learn a kernelbased regression function. It is based on the use of conical combinations of data-based parameterized kernels and on a new stochastic ...
159
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents insights about design practices that can lead to effective and fun games for learning, gleaned from interviews with experienced game developers. We based our a...
130
click to vote
ECSCW
1993
15 years 7 months ago
1993
: We describe the development of a system to support cooperative software design. An iterative development approach has been used, based upon the observation of system use in authe...
174
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...