16188 search results - page 3015 / 3238 » The Optimal PAC Algorithm |
164
click to vote
IS
2008
15 years 6 months ago
2008
Consistent query answering is the problem of characterizing and computing the semantically correct answers to queries from a database that may not satisfy certain integrity constr...
181
click to vote
COMCOM
2007
15 years 6 months ago
2007
This paper addresses the issue of provisioning end-to-end bandwidth guarantees across multiple Autonomous Systems (ASes). We first review a cascaded model for negotiating and est...
146
click to vote
IJCSS
2006
15 years 6 months ago
2006
The time varying human multijoint arm dynamics can be modeled by two factors, simplified musculoskeletal dynamics and the uncertainty factor consisting of measurement noises and m...
160
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
177
click to vote
JAIR
2008
15 years 6 months ago
2008
We represent planning as a set of loosely coupled network flow problems, where each network corresponds to one of the state variables in the planning domain. The network nodes cor...