32032 search results - page 6142 / 6407 » Verified programming in Guru |
185
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Interleaved planning and scheduling employs the idea of extending partial plans by regularly heeding to the scheduling constraints during search. One of the techniques us...
151
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Arc consistency plays a central role in solving Constraint Satisfaction Problems. This is the reason why many algorithms have been proposed to establish it. Recently, an algorithm ...
164
click to vote
DBPL
2003
Springer
15 years 12 months ago
2003
Springer
The increased usage of mobile devices coupled with an unprecedented demand for information has pushed the scalability problem of pull-based data service to the focus. A broadcast ...
191
click to vote
DSVIS
2003
Springer
15 years 12 months 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 ...
235
click to vote
EGOV
2003
Springer
15 years 12 months ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...