Sciweavers

1424 search results - page 238 / 285
» The Multi-radius Cover Problem
Sort
View
96
Voted
DLOG
2010
14 years 10 months ago
Checking Full Satisfiability of Conceptual Models
Abstract. 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 constr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
109
Voted
ER
2010
Springer
132views Database» more  ER 2010»
14 years 10 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...
103
Voted
GLOBECOM
2010
IEEE
14 years 10 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 ...
119
Voted
IWSDS
2010
14 years 10 months ago
D3 Toolkit: A Development Toolkit for Daydreaming Spoken Dialog Systems
Recently various data-driven spoken language technologies have been applied to spoken dialog system development. However, high cost of maintaining the spoken dialog systems is one ...
Donghyeon Lee, Kyungduk Kim, Cheongjae Lee, Junhwi...
118
Voted
PRICAI
2010
Springer
14 years 10 months ago
Sparse Representation: Extract Adaptive Neighborhood for Multilabel Classification
Unlike traditional classification tasks, multilabel classification allows a sample to associate with more than one label. This generalization naturally arises the difficulty in cla...
Shuo Xiang, Songcan Chen, Lishan Qiao