3068 search results - page 85 / 614 » Separation Results on the |
154
click to vote
CSL
2007
Springer
16 years 14 days ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
206
click to vote
SIAMIS
2010
15 years 1 months ago
2010
This article proposes a new method for image separation into a linear combination of morphological components. Sparsity in fixed dictionaries is used to extract the cartoon and osc...
165
click to vote
ISCAS
2006
IEEE
16 years 10 days ago
2006
IEEE
—A novel focal plane imaging sensor capable of real time extraction of polarization information is presented. The imaging system consists of a photo array of 256 by 256 linear cu...
141
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
To increase the believability and life-likeness of Embodied Conversational Agents (ECAs), we introduce a behavior synthesis technique for the generation of expressive gesturing. A...
197
click to vote
INFOCOM
1993
IEEE
15 years 10 months ago
1993
IEEE
We propose a new service discipline, called the RateControlledStatic-Priority (RCSP) queueingdiscipline, that can provide throughput, delay, delay jitter, and loss free guarantees...