Sciweavers

770 search results - page 85 / 154
» Designing and Implementing an Object Relational Data Warehou...
Sort
View
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
13 years 11 months ago
Tracking controllers for small UAVs with wind disturbances: Theory and flight results
This work outlines two approaches for small unmanned aerial vehicles (UAVs) performing surveillance with fixed cameras. Small UAVs present significant control challenges, due to re...
Stephen Jackson, John Tisdale, Maryam Kamgarpour, ...
ICDE
2002
IEEE
147views Database» more  ICDE 2002»
14 years 10 months ago
Decoupled Query Optimization for Federated Database Systems
We study the problem of query optimization in federated relational database systems. The nature of federated databases explicitly decouples many aspects of the optimization proces...
Amol Deshpande, Joseph M. Hellerstein
ICFP
2012
ACM
11 years 11 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens
AAAI
2000
13 years 10 months ago
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...
SRDS
1998
IEEE
14 years 1 months ago
A Data Allocation Algorithm for Distributed Hypermedia Documents
A major cost in executing queries in a distributed database system is the data transfer cost incurred in transferring relations (fragments) accessed by a query from different site...
Siu-Kai So, Ishfaq Ahmad, Kamalakar Karlapalem