Sciweavers

152 search results - page 16 / 31
» On the Integration of Recursive ALN-Theories
Sort
View
DAC
2001
ACM
14 years 9 months ago
Improved Cut Sequences for Partitioning Based Placement
Recursive partitioning based placement has a long history, but there has been little consensus on how cut sequences should be chosen. In this paper, we present a dynamic programmi...
Mehmet Can Yildiz, Patrick H. Madden
ICDT
2009
ACM
119views Database» more  ICDT 2009»
14 years 9 months ago
Querying data sources that export infinite sets of views
We study the problem of querying data sources that accept only a limited set of queries, such as sources accessible by Web services which can implement very large (potentially inf...
Bogdan Cautis, Alin Deutsch, Nicola Onose
IROS
2008
IEEE
211views Robotics» more  IROS 2008»
14 years 2 months ago
GP-BayesFilters: Bayesian filtering using Gaussian process prediction and observation models
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
Jonathan Ko, Dieter Fox
WECWIS
2008
IEEE
361views ECommerce» more  WECWIS 2008»
14 years 2 months ago
How to Describe Workflow Information Systems to Support Business Process
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...
Josefina Guerrero García, Jean Vanderdonckt...
POLICY
2005
Springer
14 years 1 months ago
A Model for Usage Policy-Based Resource Allocation in Grids
Challenging usage policy issues can arise within virtual organizations (VOs) that integrate participants and resources spanning multiple physical institutions. Participants may wi...
Catalin Dumitrescu, Michael Wilde, Ian T. Foster