3809 search results - page 514 / 762 » Associative language descriptions |
201
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
194
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
191
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
198
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They no...
177
click to vote
CP
2005
Springer
16 years 23 days ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...