4693 search results - page 914 / 939 » Verifying Hybrid Systems |
112
Voted
ICCV
2001
IEEE
16 years 2 months ago
2001
IEEE
We present a comprehensive treatment of 3D object tracking by posing it as a nonlinear state estimation problem. The measurements are derived using the outputs of shape-encoded fi...
195
click to vote
GIS
2003
ACM
16 years 1 months ago
2003
ACM
With the proliferation of mobile computing, the ability to index efficiently the movements of mobile objects becomes important. Objects are typically seen as moving in two-dimensi...
106
click to vote
WWW
2008
ACM
16 years 1 months ago
2008
ACM
This paper shares our experience in designing a web crawler that can download billions of pages using a single-server implementation and models its performance. We show that with ...
156
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Semantic similarity measures play important roles in information retrieval and Natural Language Processing. Previous work in semantic web-related applications such as community mi...
117
click to vote
WWW
2002
ACM
16 years 1 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...