1128 search results - page 179 / 226 » Classical Natural Deduction |
132
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
Reading is increasingly being performed interactively on-screen; for instance, new novels are now routinely released in electronic format for viewing on PCs and mobile devices. Un...
156
click to vote
CVIU
2011
14 years 8 months ago
2011
In this paper, we tackle the problem of embedding a set of relational structures into a metric space for purposes of matching and categorisation. To this end, we view the problem ...
188
click to vote
SIAMADS
2011
14 years 7 months ago
2011
Discrete breathers are found in a nonlinear one dimensional axially loaded mechanical lattice consisting of rigid links supported laterally by linear springs. We find link centere...
170
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents a framework for image parsing with multiple label sets. For example, we may want to simultaneously label every image region according to its basiclevel object ...
236
click to vote
CMSB
2011
Springer
14 years 4 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...