4325 search results - page 500 / 865 » Incremental computation with names |
236
click to vote
HLPPP
1991
15 years 10 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
218
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
Dynamically reconfigurable architectures or systems are able to reconfigure their function and/or structure to suit the changing needs of a computation during run time. The increa...
190
Voted
COMMA
2008
15 years 8 months ago
2008
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...
166
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
It is widely believed that mathematics will be one of the major applications for Tablet PCs and other pen-based devices. In this paper we discuss many of the issues that make doin...
178
click to vote
IICAI
2003
15 years 8 months ago
2003
Computational Musicology is a new and emerging field which draws heavily from Computer Science, particularly Artificial Intelligence. Western Music has been under the gaze of thi...