2761 search results - page 98 / 553 » Collaborative model merging |
109
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
139
Voted
DEBS
2009
ACM
15 years 6 months ago
2009
ACM
One of the main challenges faced by content-based publish/subscribe systems is handling large amount of dynamic subscriptions and publications in a multidimensional content space....
113
Voted
PR
2010
15 years 25 days ago
2010
Aggregating statistical representations of classes is an important task for current trends in scaling up learning and recognition, or for addressing them in distributed infrastruc...
113
Voted
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
This paper presents an algorithm for tree-based representation of single images and its applications to segmentation and filtering with depth. In a our recent work, we have addres...
137
Voted
CRV
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present our approach to 3D surface reconstruction from large sparse range data sets. In space robotics constructing an accurate model of the environment is very i...