3404 search results - page 423 / 681 » C Programming Tutorial |
112
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
CP
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we study four algorithms for computing the frequency of a given partial order. Here the frequency of a partial order is the number of standard labellings respecting t...
133
Voted
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
HUC
2004
Springer
15 years 7 months ago
2004
Springer
Ubiquitous computing promises to enable new classes of application. In this paper, we present research intended to accelerate the exploration of the space of possible application ...
122
click to vote
ICT
2004
Springer
15 years 7 months ago
2004
Springer
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...