295 search results - page 23 / 59 » Simultaneous Quantifier Elimination |
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
– Active SLAM poses the challenge for an autonomous robot to plan efficient paths simultaneous to the SLAM process. The uncertainties of the robot, map and sensor measurements, a...
28
Voted
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper, we introduce a new approach to location estimation where, instead of locating a single client, we simultaneously locate a set of wireless clients. We present a B...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
CTRSA
2003
Springer
14 years 1 months ago
2003
Springer
We present an algorithm which speeds scalar multiplication on a general elliptic curve by an estimated 3.8% to 8.5% over the best known general methods when using affine coordinate...
VLDB
1994
ACM
14 years 22 days ago
1994
ACM
With recent advances in storage and network technology it is now possible to provide movie on demand (MOD) service, eliminating the inflexibility inherent in todays broadcast cabl...