Sciweavers

10406 search results - page 345 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
ICC
2009
IEEE
15 years 2 months ago
The Multicell Processing Capacity of the Cellular MIMO Uplink Channel under Correlated Fading
In the information-theoretic literature, it has been widely shown that multicell processing is able to provide high capacity gains in the context of cellular systems and that the p...
Symeon Chatzinotas, Muhammad Ali Imran, Reza Hoshy...
154
Voted
ICIP
2003
IEEE
16 years 6 months ago
Geometric segmentation of 3D structures
Segmentation in volumetric images deals with separating `objects' from their `background' in a given 3D data. Usually, one starts with `edge detectors' that give bi...
Ron Kimmel
ICTAC
2009
Springer
15 years 2 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
146
Voted
BIS
2008
120views Business» more  BIS 2008»
15 years 6 months ago
Enabling Context-Based Cooperation: A Generic Context Model and Management System
Abstract. In order to realise complex service-based applications on system platforms for context-aware ubiquitous computing environments, mobile processes have been introduced to s...
Christian P. Kunze, Sonja Zaplata, Mirwais Turjale...
154
Voted
CASE
2011
102views more  CASE 2011»
14 years 4 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey