283 search results - page 50 / 57 » Error Detection Using BMC in a Parallel Environment |
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
The resource impoverished environment on mobile devices results in a poor experience for users browsing the World Wide Web. Proxy-based middleware that transform content on the fl...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Time synchronization is an essential service in distributed computing and control systems. It is used to enable tasks such as synchronized data sampling and accurate time-offlight...
EUROCAST
1997
Springer
13 years 11 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
DAGM
2009
Springer
13 years 4 months ago
2009
Springer
Abstract. Guided Kanade-Lucas-Tomasi (GKLT) tracking is a suitable way to incorporate knowledge about camera parameters into the standard KLT tracking approach for feature tracking...
CVIU
2007
13 years 7 months ago
2007
We investigate the problem of automatically creating 3D models of man-made environments that we represent as collections of textured planes. A typical approach is to automatically...