11455 search results - page 1799 / 2291 » The Rayset and Its Applications |
203
click to vote
ICLP
1993
Springer
15 years 11 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
174
click to vote
ICLP
1994
Springer
15 years 11 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
214
click to vote
ISOOMS
1994
15 years 11 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
200
click to vote
LOPSTR
1994
Springer
15 years 11 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
185
click to vote
GIS
1992
ACM
15 years 11 months ago
1992
ACM
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...