3134 search results - page 130 / 627 » Computing full disjunctions |
149
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
142
click to vote
ICRA
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract— This paper proposes a novel approach for motion primitive segmentation from continuous full body human motion captured on monocular video. The proposed approach does no...
159
click to vote
IEEEPACT
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract—In order to harness the full compute power of manycore processors, future designs must focus on effective utilization of on-chip cache and bandwidth resources. In this p...
151
click to vote
BROADNETS
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...
156
click to vote
ISBI
2007
IEEE
16 years 17 days ago
2007
IEEE
We investigate fast iterative image reconstruction methods for fully 3D multispectral optical bioluminescence tomography where inhomogeneous optical properties are modeled using t...