5599 search results - page 919 / 1120 » Abstract State Services |
139
click to vote
VC
2010
15 years 3 months ago
2010
Abstract In this paper, we present a segmentation algorithm which partitions a mesh based on the premise that a 3D object consists of a core body and its constituent protrusible pa...
133
click to vote
WCNC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—In this paper, we consider a robust design of MIMOrelay precoder and receive filter for the destination nodes in a non-regenerative multiple-input multiple-output (MIMO...
225
click to vote
WRLA
2010
15 years 3 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
149
click to vote
CONEXT
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we propose virtual data center (VDC) as the unit of resource allocation for multiple tenants in the cloud. VDCs are more desirable than physical data centers becaus...
194
click to vote
EUROSSC
2010
Springer
15 years 2 months ago
2010
Springer
Smart homes have a user centered design that makes human activity as the most important type of context to adapt the environment according to people's needs. Sensor systems th...