Sciweavers

1433 search results - page 244 / 287
» On Covering Problems of Rado
Sort
View
ER
2010
Springer
132views Database» more  ER 2010»
14 years 9 months ago
Full Satisfiability of UML Class Diagrams
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
GLOBECOM
2010
IEEE
14 years 9 months ago
Studying the Relationships between Spatial Structures of Wireless Networks and Population Densities
In this paper we show how to quantify dependency between the node distributions of wireless networks and the underlying population densities. Furthermore, we show that a quantitati...
Maria Michalopoulou, Janne Riihijärvi, Petri ...
TMM
2011
182views more  TMM 2011»
14 years 6 months ago
Scalable Video Multicast in Hybrid 3G/Ad-Hoc Networks
Mobile video broadcasting service, or mobile TV, is expected to become a popular application for 3G wireless network operators. Most existing solutions for video Broadcast Multica...
Sha Hua, Yang Guo, Yong Liu, Hang Liu, Shivendra S...
IFIP
2010
Springer
14 years 6 months ago
Scenario-Based Modeling in Industrial Information Systems
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
Ricardo Jorge Machado, João M. Fernandes, J...
PAMI
2010
207views more  PAMI 2010»
14 years 6 months ago
Document Ink Bleed-Through Removal with Two Hidden Markov Random Fields and a Single Observation Field
We present a new method for blind document bleed through removal based on separate Markov Random Field (MRF) regularization for the recto and for the verso side, where separate pri...
Christian Wolf