3179 search results - page 314 / 636 » Applications of PCF Theory |
108
click to vote
ALDT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...
BPM
2009
Springer
15 years 7 months ago
2009
Springer
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
107
click to vote
WIA
2009
Springer
15 years 7 months ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
86
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Almost every application of spreading activation is accompanied by its own set of often heuristic restrictions on the dynamics. We show that in constraint-free scenarios spreading...
CSEE
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes an application of a Game Development Framework (GDF) Microsoft XNA in software architecture (SA) course at Norwegian University of Science and Technology (NTN...