2016 search results - page 266 / 404 » Megamaps: Construction and Examples |
118
Voted
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt). In a programming system in which krt h...
124
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
123
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a case study of numerical simulations in an easy-to-use matrix computation framework named Simple Interface for Library Collections (SILC), which allows users t...
128
click to vote
WADS
2007
Springer
15 years 10 months ago
2007
Springer
Building on the work of Martinetz, Schulten and de Silva, Carlsson, we introduce a 2-parameter family of witness complexes and algorithms for constructing them. This family can be ...
143
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes the integration of the High Level Architecture (HLA), an IEEE standard for distributed interactive simulation, with a scientific software package (Scilab) and...