1342 search results - page 259 / 269 » Ordered Programs as Abductive Systems |
DSVIS
2003
Springer
14 years 21 days ago
2003
Springer
This paper provides an approach to develop user interfaces where plasticity is considered by using several concepts, concretely our proposal is a pattern-based, component-oriented ...
CDC
2009
IEEE
14 years 6 days ago
2009
IEEE
— We consider the problem of determining the existence of known constant signals over a set of sites, given noisy measurements obtained by a team of active sensors that can switc...
CCGRID
2009
IEEE
13 years 11 months ago
2009
IEEE
In recent years the power of Grid computing has grown exponentially through the development of advanced middleware systems. While usage has increased, the penetration of Grid compu...
DGO
2008
13 years 9 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
RSS
2007
13 years 9 months ago
2007
— Multi-robot systems require efficient and accurate planning in order to perform mission-critical tasks. However, algorithms that find the optimal solution are usually computa...