575 search results - page 51 / 115 » A Calculus for Interaction Nets |
123
click to vote
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network provenance in a distributed system. Network provenance describes the history an...
252
click to vote
SIGIR
2012
ACM
13 years 4 months ago
2012
ACM
As ever-larger training sets for learning to rank are created, scalability of learning has become increasingly important to achieving continuing improvements in ranking accuracy [...
96
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
113
Voted
AIME
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
116
Voted
APN
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...