Sciweavers

91 search results - page 15 / 19
» The Second Calculus of Binary Relations
Sort
View
TIT
2008
140views more  TIT 2008»
13 years 7 months ago
A Resource Framework for Quantum Shannon Theory
Quantum Shannon theory is loosely defined as a collection of coding theorems, such as classical and quantum source compression, noisy channel coding theorems, entanglement distilla...
Igor Devetak, Aram Wettroth Harrow, Andreas J. Win...
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
14 years 28 days ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
ICCV
2009
IEEE
15 years 10 days ago
Boundary Ownership by Lifting to 2.5D
This paper addresses the “boundary ownership” problem, also known as the figure/ground assignment problem. Estimating boundary ownerships is a key step in perceptual organiz...
Ido Leichter and Michael Lindenbaum
JOCN
2010
85views more  JOCN 2010»
13 years 5 months ago
Neural Systems Underlying Decisions about Affective Odors
■ Decision-making about affective value may occur after the reward value of a stimulus is represented and may involve different brain areas to those involved in decision-making ...
Edmund T. Rolls, Fabian Grabenhorst, Benjamin A. P...
CODES
2008
IEEE
14 years 1 months ago
Don't forget memories: a case study redesigning a pattern counting ASIC circuit for FPGAs
Modern embedded compute platforms increasingly contain both microprocessors and field-programmable gate arrays (FPGAs). The FPGAs may implement accelerators or other circuits to s...
David Sheldon, Frank Vahid