Sciweavers

26071 search results - page 4799 / 5215
» Making
Sort
View
IJCAI
1993
15 years 8 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
LISA
1994
15 years 8 months ago
The Group Administration Shell and the GASH Network Computing Environment
Managing large scale UNIX networks so that users can use resources on multiple systems is traditionally performed using NIS, NFS, and DNS. Proper use of these tools requires exact...
Jonathan Abbey
NIPS
1993
15 years 8 months ago
Using Local Trajectory Optimizers to Speed Up Global Optimization in Dynamic Programming
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
Christopher G. Atkeson
MVA
1994
116views Computer Vision» more  MVA 1994»
15 years 8 months ago
Stable Position Measurement of a Moving Airplane by Adaptive Camera Control
Amethod is developed to identifya taxiing airplane and measure its position correctly under various lighting and weather conditionsby inputting a moving image from an adaptively-co...
Yuichi Togashi, Hideaki Yamaguchi
MVA
1994
235views Computer Vision» more  MVA 1994»
15 years 8 months ago
Obtaining 3-D shape from Silhouette Informations Interpolated by Photometric Stereo
The idea of photometric stereo is to serially vary the direction of incident illumination on the state of the holded view point, but it can locally reconstruct only the front surf...
Changsuk Cho, Haruyuki Minamitani
« Prev « First page 4799 / 5215 Last » Next »