1638 search results - page 74 / 328 » Properties of input-consuming derivations |
TCOM
2008
14 years 10 months ago
2008
The constellation design for differential space-time modulation usually requires to construct L (constellation size) unitary matrices making the design complexity increasing rapidl...
106
click to vote
CAGD
2005
14 years 10 months ago
2005
The use of point sets instead of meshes became more popular during the last years. We present a new method for anisotropic fairing of a point sampled surface using an anisotropic ...
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
95
Voted
ICOODB
2009
14 years 7 months ago
2009
This paper presents algorithms that make it possible to process XML data that conforms to XML Schema (XSD) in a mainstream object-oriented programming language. These algorithms a...
CORR
2010
Springer
14 years 6 months ago
2010
Springer
In this paper, we propose a transmit beamspace energy focusing technique for multiple-input multiple-output (MIMO) radar with application to direction finding for multiple targets...