6438 search results - page 6 / 1288 » A Parameterised Search System |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper develops a novel mechanism for managing the performance and feasibility trade off withing predictive control. Specifically, it demonstrates that the potenti...
AIPS
2007
13 years 11 months ago
2007
We present an any-time concurrent probabilistic temporal planner that includes continuous and discrete uncertainties and metric functions. Our approach is a direct policy search t...
ENGL
2008
13 years 8 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
CRIWG
2001
13 years 10 months ago
2001
This paper presents an approach for the integration of domain related elements and operational semantics into collaborative environments based on visual languages. This integratio...
MSCS
2008
13 years 8 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...