Sciweavers

3134 search results - page 130 / 627
» Computing full disjunctions
Sort
View
121
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
Nonassociative Lambek Calculus with Additives and Context-Free Languages
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
Wojciech Buszkowski, Maciej Farulewski
ICRA
2009
IEEE
190views Robotics» more  ICRA 2009»
15 years 10 months ago
Whole body motion primitive segmentation from monocular video
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...
Dana Kulic, Dongheui Lee, Yoshihiko Nakamura
115
Voted
IEEEPACT
2009
IEEE
15 years 10 months ago
DDCache: Decoupled and Delegable Cache Data and Metadata
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...
Hemayet Hossain, Sandhya Dwarkadas, Michael C. Hua...
115
Voted
BROADNETS
2007
IEEE
15 years 10 months ago
Modeling and generating TCP application workloads
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...
Félix Hernández-Campos, Kevin Jeffay...
ISBI
2007
IEEE
15 years 9 months ago
Fast Image Reconstruction Methods for Fully 3d Multispectral Optical Bioluminescence Tomography
We investigate fast iterative image reconstruction methods for fully 3D multispectral optical bioluminescence tomography where inhomogeneous optical properties are modeled using t...
Sangtae Ahn, Abhijit J. Chaudhari, Felix Darvas, C...