3713 search results - page 565 / 743 » Constructing a Calculus of Programs |
147
click to vote
SIGDOC
2003
ACM
15 years 11 months ago
2003
ACM
Artificial intelligence techniques have found a number of applications in hypermedia, mostly in two specific areas, user interface, particularly adaptive ones and information sear...
135
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
173
click to vote
GD
2003
Springer
15 years 11 months ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...
144
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
135
click to vote
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a proposal to give argumentation capacity to databases. A database is said to have argumentation capacity if it can extract from the information available to it a set ...