6456 search results - page 364 / 1292 » Constraint Solving on Terms |
143
click to vote
ICRA
2005
IEEE
16 years 11 days ago
2005
IEEE
— In [5], a version of Relative Map Filter (RMF) is proposed to solve the simultaneous localization and map building (SLAM) problem. In the RMF, the map states contain only quant...
208
click to vote
RTSS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
161
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
It is crucial to maximize marketing efficiency and customer satisfaction in personalized marketing. In this paper, we raise the multiple recommendation problem which occurs when pe...
187
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
168
Voted
ISCAS
2003
IEEE
16 years 1 days ago
2003
IEEE
Quadraturemirror filter(QMF)bank with multi-criterion constraints suchas minimal aliasing and/or minimal error coding is amongthe most important problems in filter bank design, fo...