11168 search results - page 1463 / 2234 » Abstract State Processes |
255
click to vote
SIGADA
2001
Springer
15 years 11 months ago
2001
Springer
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...
185
click to vote
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
200
click to vote
CORR
2000
Springer
15 years 7 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
219
click to vote
ELECTRONICMARKETS
1998
15 years 7 months ago
1998
AbstractAbstractAbstractAbstract This paper discusses the development of remote bidding electronic fish auctions. The first electronic fish auctions were introduced in Belgium and ...
175
click to vote
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
The problem of tracking involves challenges like in-plane and out-of-plane rotations, scaling, variations in ambient light and occlusions. In this paper we look at the problem of ...