Sciweavers

3280 search results - page 612 / 656
» MiTAP for real users, real data, real problems
Sort
View
ICRA
2010
IEEE
143views Robotics» more  ICRA 2010»
13 years 5 months ago
On the influence of ship motion prediction accuracy on motion planning and control of robotic manipulators on seaborne platforms
Robotic manipulators on non-inertial platforms, such as ships, have to endure large inertial forces due to the non-inertial motion of the platform. When the non-inertial platform&#...
Pål Johan From, Jan Tommy Gravdahl, Pieter A...
SIGMETRICS
1998
ACM
187views Hardware» more  SIGMETRICS 1998»
13 years 12 months ago
An Analytic Behavior Model for Disk Drives with Readahead Caches and Request Reordering
Modern disk drives read-ahead data and reorder incoming requests in a workload-dependent fashion. This improves their performance, but makes simple analytical models of them inade...
Elizabeth A. M. Shriver, Arif Merchant, John Wilke...
DBPL
1993
Springer
141views Database» more  DBPL 1993»
13 years 12 months ago
Some Properties of Query Languages for Bags
In this paper we study the expressive power of query languages for nested bags. We de ne the ambient bag language by generalizing the constructs of the relational language of Brea...
Leonid Libkin, Limsoon Wong
AAAI
2008
13 years 10 months ago
Adaptive Management of Air Traffic Flow: A Multiagent Coordination Approach
This paper summarizes recent advances in the application of multiagent coordination algorithms to air traffic flow management. Indeed, air traffic flow management is one of the fu...
Kagan Tumer, Adrian K. Agogino
ISSTA
2010
ACM
13 years 9 months ago
OCAT: object capture-based automated testing
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang