2799 search results - page 181 / 560 » computing 1998 |
125
click to vote
ACCV
1998
Springer
15 years 7 months ago
1998
Springer
Scale space is a natural way to handle multi-scale problems. Yang and Ma have considered the correspondence between scales, and proposed optical flow in the scale space. In this p...
123
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
ECAI
1998
Springer
15 years 7 months ago
1998
Springer
The problem of minimally modifying a plan in response to changes in the specification of the planning problem has already been investigated in the literature. In this paper we cons...
131
click to vote
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
Security is a fundamental precondition for the acceptance of mobile agent systems. In this paper we discuss protocols to improve agent security by distributing critical data and o...
103
click to vote
WSC
1998
15 years 4 months ago
1998
The execution of distributed simulations has become increasingly important to the Department of Defense (DOD). This paper compares three architectures for supporting distributed c...