5592 search results - page 950 / 1119 » On Random Betweenness Constraints |
174
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
126
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We present a novel approach to build approximate maps of structured environments utilizing human motion and activity. Our approach uses data recorded with a data suit which is ...
158
click to vote
IJCV
2010
15 years 4 months ago
2010
The Thin-Plate Spline warp has been shown to be a very effective parameterized model of the optic flow field between images of various types of deformable surfaces, such as a p...
160
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We study the problem of finding the least-priced path (LPP) between a source and a destination in opportunistic spectrum access (OSA) networks. This problem is motivated by econo...
162
click to vote
ITIIS
2010
15 years 4 months ago
2010
Data sharing is an essential process for collaborative works particularly in the banking, finance and healthcare industries. These industries require many collaborative works with...