Sciweavers

8928 search results - page 1533 / 1786
» Modeling Current Events
Sort
View
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 8 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
142
Voted
ICIP
1999
IEEE
15 years 8 months ago
Dense Motion Fields for Digital Video Processing and Compression
This paper presents novel algorithms that perform motion estimation for video processing and compression. We observe that "smoothness" is a very important and intuitive ...
Shunan Lin, Onur G. Guleryuz
127
Voted
ICRA
1999
IEEE
186views Robotics» more  ICRA 1999»
15 years 8 months ago
Grasp Analysis as Linear Matrix Inequality Problems
Three fundamental problems in the study of grasping and dextrous manipulation with multifingered robotic hands are as follows. a) Given a robotic hand and a grasp characterized by ...
Li Han, Jeffrey C. Trinkle, Zexiang Li
ICRA
1999
IEEE
138views Robotics» more  ICRA 1999»
15 years 8 months ago
Efficient Topological Exploration
We consider the robot exploration of a planar graphlike world. The robot's goal is to build a complete map of its environment. The environment is modeled as an arbitrary undi...
Ioannis M. Rekleitis, Vida Dujmovic, Gregory Dudek
148
Voted
CIKM
1999
Springer
15 years 8 months ago
A Comparison of Alternative Continuous Display Techniques with Heterogeneous Multi-Zone Disks
A number of recent technological trends have made data intensive applications such as continuous media audio and video servers a reality. These servers are expected to play an i...
Shahram Ghandeharizadeh, Seon Ho Kim
« Prev « First page 1533 / 1786 Last » Next »