6562 search results - page 301 / 1313 » Noetherianity and Combination Problems |
174
click to vote
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper considers the problem of providing a geocast service in mobile ad hoc networks and presents a novel geocasting algorithm combining unicasting and flooding. Geocast is ...
175
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe in this paper potential problems that may appear in image-based visual servoing when the initial camera position is far away from its desired position. We show by conc...
158
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
175
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe a distributed system architecture that supports the integration of different front-office trading systems with middle and back-office systems, each of which have been ...
227
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...