4693 search results - page 877 / 939 » Verifying Hybrid Systems |
125
Voted
CG
2005
Springer
15 years 14 days ago
2005
Springer
In this paper, we present a feature-based free-form shape modelling technique based on solving a fundamental problem of reconstructing the depth information from 2D sketch planes....
125
click to vote
CORR
2004
Springer
15 years 13 days ago
2004
Springer
The rapid e-commerce growth has made both business community and customers face a new situation. Due to intense competition on the one hand and the customer's option to choose...
108
Voted
TIT
2002
15 years 6 days ago
2002
We present a large-system performance analysis of blind and group-blind multiuser detection methods. In these methods, the receivers are estimated based on the received signal samp...
115
click to vote
PVLDB
2008
15 years 1 days ago
2008
Online communities like Flickr, del.icio.us and YouTube have established themselves as very popular and powerful services for publishing and searching contents, but also for ident...
112
Voted
IJAMC
2010
14 years 11 months ago
2010
—When dealing with dynamic large-scale topologies such as those underlying peer-to-peer (P2P) distributed virtual environments (DVE), one inescapably reaches the point where eith...