678 search results - page 130 / 136 » Dependent Types for Program Understanding |
VIP
2001
13 years 9 months ago
2001
The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in...
VIP
2001
13 years 9 months ago
2001
Visualisation Systems are in general designed to maximise the cognitive ability of system users particularly when exposed to large sets of otherwise difficult to comprehend data, ...
BMCBI
2006
13 years 7 months ago
2006
Background: Microarrays used for gene expression studies yield large amounts of data. The processing of such data typically leads to lists of differentially-regulated genes. A com...
CONCURRENCY
1998
13 years 7 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...
PAMI
2012
11 years 10 months ago
2012
— Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchi...