6624 search results - page 1228 / 1325 » Design Pattern Recognition |
191
Voted
WRLA
2010
15 years 23 days 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...
130
Voted
APVIS
2010
15 years 14 days ago
2010
In this paper, we propose an approach of clustering data in parallel coordinates through interactive local operations. Different from many other methods in which clustering is glo...
150
Voted
BIS
2010
15 years 13 days ago
2010
The success of information supply strongly depends on successful user adoption. This especially is the case for the integration of non-human information sources deriving from ubiqu...
131
Voted
EDBTW
2010
Springer
15 years 13 days ago
2010
Springer
Nowadays, due to the lack of face-to-face contact, distance course instructors have real difficulties knowing who their students are, how their students behave in the virtual cour...
133
click to vote
GLOBECOM
2010
IEEE
15 years 12 days ago
2010
IEEE
Cloud computing data centers are becoming increasingly popular for the provisioning of computing resources. The cost and operating expenses of data centers have skyrocketed with th...