2025 search results - page 353 / 405 » Minimal-Cut Model Composition |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper describes a combined modulation scheme for time hopping ultra wideband (TH-UWB) radio systems using on-off keying (OOK) and pulse shape modulation (PSM). For this sc...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
IEEEPACT
2007
IEEE
14 years 1 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
CSL
2007
Springer
14 years 1 months ago
2007
Springer
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....
EMMCVPR
2007
Springer
14 years 1 months ago
2007
Springer
Recognizing humans, estimating their pose and segmenting their body parts are key to high-level image understanding. Because humans are highly articulated, the range of deformation...