6456 search results - page 957 / 1292 » Constraint Solving on Terms |
252
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Computational grids offer users a simple access to tremendous computer resources for solving large scale computing problems. Traditional performance analysis of scheduling algorit...
196
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
Review assignment is a common task that many people such as conference organizers, journal editors, and grant administrators would have to do routinely. As a computational problem...
239
click to vote
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
204
click to vote
AVI
2006
15 years 9 months ago
2006
While zoomable user interfaces can improve the usability of applications by easing data access, a drawback is that some users tend to become lost after they have zoomed in. Previo...
213
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We consider the problem of coordinating a team of agents engaged in executing a set of inter-dependent, geographically dispersed tasks in an oversubscribed and uncertain environme...