1128 search results - page 178 / 226 » Classical Natural Deduction |
151
click to vote
IPL
2011
14 years 11 months ago
2011
Any Gray code for a set of combinatorial objects defines a total order relation on this set: x is less than y if and only if y occurs after x in the Gray code list. Let ≺ denot...
178
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
158
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents a unified model for image editing in terms of Sparse Matrix-Vector (SpMV) multiplication. In our framework, we cast image editing as a linear energy minimizat...
134
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
We present Pinstripe, a textile user interface element for eyes-free, continuous value input on smart garments that uses pinching and rolling a piece of cloth between your finger...
147
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
We introduce the information flaneur as a new human-centred view on information seeking that is grounded in interdisciplinary research. We use the metaphor of the urban flaneur ...