1982 search results - page 301 / 397 » Parametricity and dependent types |
102
click to vote
DIAGRAMS
2008
Springer
2008
Springer
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants
14 years 11 months ago
In linguistics, it is quite common to use tree diagrams for immediate constituent analysis of sentences. Traditionally, these trees are binary and twodimensional. However, phenomen...
EKAW
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we investigate unsupervised population of a biomedical ontology via information extraction from biomedical literature. Relationships in text seldom connect simple ent...
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
FPL
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents SPA (Simple Power Analysis) attacks against public-key cryptosystems implemented on an FPGA platform. The SPA attack investigates a power waveform generated by...
AIML
2008
14 years 11 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...