3713 search results - page 565 / 743 » Constructing a Calculus of Programs |
110
click to vote
SIGDOC
2003
ACM
15 years 8 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...
EUROPAR
2003
Springer
15 years 8 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...
133
click to vote
GD
2003
Springer
15 years 8 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...
105
click to vote
ICCS
2003
Springer
15 years 8 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...
101
click to vote
ICLP
2003
Springer
15 years 8 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 ...