3591 search results - page 599 / 719 » Typing linear constraints |
140
Voted
GLOBECOM
2009
IEEE
16 years 3 days ago
2009
IEEE
Abstract – This paper considers a design of signal constellations for trans-modulation (constellation rearrangement: CoRe) in a relay system with the multiple links in which the ...
163
Voted
LICS
2009
IEEE
15 years 12 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
154
Voted
AGILE
2009
Springer
2009
Springer
Enhancing 3D City Models with Heterogeneous Spatial Information: Towards 3D Land Information Systems
15 years 12 months ago
Spatial and georeferenced information plays an important role in urban land management processes such as spatial planning and environmental management. As many of the processes ar...
118
click to vote
IMA
2009
Springer
15 years 12 months ago
2009
Springer
In previous works we considered codes defined as ideals of quotients of skew polynomial rings, so called Ore rings of automorphism type. In this paper we consider codes defined a...
181
Voted
MDM
2009
Springer
15 years 12 months ago
2009
Springer
Indoor navigation highly depends on context and requires flexible data structures to support the many use cases and configurations. For example, an indoor navigation system must c...