1301 search results - page 145 / 261 » Specifications via Realizability |
155
click to vote
CGF
2008
15 years 3 months ago
2008
Most graph visualization techniques focus on the structure of graphs and do not offer support for dealing with node attributes and edge labels. To enable users to detect relations...
120
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Pure, or type-free, Linear Logic proof nets are Turing complete once cut-elimination is5 considered as computation. We introduce modal impredicativity as a new form of impredicati...
121
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
137
Voted
AUTOMATICA
1999
15 years 3 months ago
1999
We formulate the L2-gain control problem for a general nonlinear, state-space system with projection dynamics in the state evolution and hard constraints on the set of admissible ...
134
Voted
BMVC
2010
15 years 1 months ago
2010
Insect species recognition is a typical application of image categorization and object recognition. Unlike generic image categorization datasets (such as the Caltech 101 dataset) ...